Метод | Описание | |
---|---|---|
BCAskAnswerHandler ( ) : System | ||
addProofStep ( List |
||
getProofs ( ) : List |
||
isPartialResultDueToTimeout ( ) : bool | ||
isPossiblyFalse ( ) : bool | ||
isTrue ( ) : bool | ||
isUnknownDueToTimeout ( ) : bool | ||
setAllProofSteps ( List |
public addProofStep ( List |
||
currentLevelProofSteps | List |
|
toProve | Clause | |
currentGoal | ||
bindings | Term>.Dictionary | |
Результат | void |
public isPartialResultDueToTimeout ( ) : bool | ||
Результат | bool |
public setAllProofSteps ( List |
||
allProofSteps | List |
|
Результат | void |