메소드 | 설명 | |
---|---|---|
Add ( ) : void |
Alias for Assert.
|
|
Assert ( ) : void |
Adds the constraints to the given goal.
|
|
Reset ( ) : void |
Erases all formulas from the given goal.
|
|
Simplify ( |
Simplifies the goal. Essentially invokes the `simplify' tactic on the goal. |
|
ToString ( ) : string |
Goal to string conversion.
|
|
Translate ( |
Translates (copies) the Goal to the target Context ctx.
|
메소드 | 설명 | |
---|---|---|
DecRef ( |
||
Goal ( |
||
Goal ( |
||
IncRef ( |