AIMA.Core.Logic.FOL.Inference.FOLFCAsk.FCAskAnswerHandler.addProofStep C# (CSharp) Метод

Документация по классу FOLFCAsk.FCAskAnswerHandler Показать файл Открыть проект

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 
            public void addProofStep(Clause implication, Literal fact,
                    Dictionary<Variable, Term> bindings)
            {
                stepFinal = new ProofStepFoChAssertFact(implication, fact,
                        bindings, stepFinal);
            }

Same methods

FOLFCAsk.FCAskAnswerHandler::addProofStep ( ProofStep step ) : void
FOLFCAsk.FCAskAnswerHandler
FCAskAnswerHandler
addProofStep
getProofs
isPartialResultDueToTimeout
isPossiblyFalse
isTrue
isUnknownDueToTimeout
setAnswers