Méthode | Description | |
---|---|---|
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 | |
Résultat | void |
public isPartialResultDueToTimeout ( ) : bool | ||
Résultat | bool |
public setAllProofSteps ( List |
||
allProofSteps | List |
|
Résultat | void |