메소드 | 설명 | |
---|---|---|
ConvertModel ( uint i, |
Convert a model for the subgoal i into a model for the original goal
|
|
ToString ( ) : string |
A string representation of the ApplyResult.
|
메소드 | 설명 | |
---|---|---|
ApplyResult ( |
||
DecRef ( |
||
IncRef ( |