메소드 | 설명 | |
---|---|---|
TFMAnswerHandler ( |
||
ToString ( ) : String | ||
checkForPossibleAnswers ( List |
||
getProofs ( ) : List |
||
isComplete ( ) : bool | ||
isPartialResultDueToTimeout ( ) : bool | ||
isPossiblyFalse ( ) : bool | ||
isTrue ( ) : bool | ||
isUnknownDueToTimeout ( ) : bool |
public TFMAnswerHandler ( |
||
answerLiteral | ||
answerLiteralVariables | List |
|
answerClause | Clause | |
maxQueryTime | long | |
리턴 | System |
public checkForPossibleAnswers ( List |
||
resolvents | List |
|
리턴 | void |