Метод | Описание | |
---|---|---|
FCAskAnswerHandler ( ) : System | ||
addProofStep ( Clause implication, |
||
addProofStep ( ProofStep step ) : void | ||
getProofs ( ) : List |
||
isPartialResultDueToTimeout ( ) : bool | ||
isPossiblyFalse ( ) : bool | ||
isTrue ( ) : bool | ||
isUnknownDueToTimeout ( ) : bool | ||
setAnswers ( Term>.List |
public addProofStep ( Clause implication, |
||
implication | Clause | |
fact | ||
bindings | Term>.Dictionary | |
Результат | void |
public addProofStep ( ProofStep step ) : void | ||
step | ProofStep | |
Результат | void |
public isPartialResultDueToTimeout ( ) : bool | ||
Результат | bool |
public setAnswers ( Term>.List |
||
answers | Term>.List | |
Результат | void |