C# 클래스 AIMA.Core.Logic.FOL.Inference.FOLFCAsk.FCAskAnswerHandler

상속: InferenceResult

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net

공개 메소드들

메소드	설명
FCAskAnswerHandler ( ) : System
addProofStep ( Clause implication, Literal fact, Term>.Dictionary bindings ) : void
addProofStep ( ProofStep step ) : void
getProofs ( ) : List
isPartialResultDueToTimeout ( ) : bool
isPossiblyFalse ( ) : bool
isTrue ( ) : bool
isUnknownDueToTimeout ( ) : bool
setAnswers ( Term>.List answers ) : void

메소드 상세

FCAskAnswerHandler() 공개 메소드

public FCAskAnswerHandler ( ) : System
리턴	System

addProofStep() 공개 메소드

public addProofStep ( Clause implication, Literal fact, Term>.Dictionary bindings ) : void
implication	Clause
fact	AIMA.Core.Logic.FOL.KB.Data.Literal
bindings	Term>.Dictionary
리턴	void

addProofStep() 공개 메소드

public addProofStep ( ProofStep step ) : void
step	ProofStep
리턴	void

getProofs() 공개 메소드

public getProofs ( ) : List
리턴	List

isPartialResultDueToTimeout() 공개 메소드

public isPartialResultDueToTimeout ( ) : bool
리턴	bool

isPossiblyFalse() 공개 메소드

public isPossiblyFalse ( ) : bool
리턴	bool

isTrue() 공개 메소드

public isTrue ( ) : bool
리턴	bool

isUnknownDueToTimeout() 공개 메소드

public isUnknownDueToTimeout ( ) : bool
리턴	bool

setAnswers() 공개 메소드

public setAnswers ( Term>.List answers ) : void
answers	Term>.List
리턴	void