Method | Description | |
---|---|---|
AnswerHandler ( |
||
ToString ( ) : String | ||
getMaxDepthReached ( ) : int | ||
getProofs ( ) : List |
||
getSetOfSupport ( ) : List |
||
isAnswer ( |
||
isComplete ( ) : bool | ||
isPartialResultDueToTimeout ( ) : bool | ||
isPossiblyFalse ( ) : bool | ||
isTrue ( ) : bool | ||
isUnknownDueToTimeout ( ) : bool | ||
resetMaxDepthReached ( ) : void | ||
updateMaxDepthReached ( int depth ) : void |
public AnswerHandler ( |
||
kb | ||
aQuery | Sentence | |
maxQueryTime | long | |
folModelElimination | ||
return | System |
public isAnswer ( |
||
nearParent | ||
return | bool |
public isPartialResultDueToTimeout ( ) : bool | ||
return | bool |
public updateMaxDepthReached ( int depth ) : void | ||
depth | int | |
return | void |