C# Класс AIMA.Core.Logic.FOL.Inference.FOLFCAsk.FCAskAnswerHandler

Наследование: InferenceResult
Показать файл Открыть проект

Открытые методы

Метод Описание
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