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

addProofStep() публичный Метод

public addProofStep ( ProofStep step ) : void
step ProofStep
Результат void
            public void addProofStep(ProofStep step)
            {
                stepFinal = step;
            }

Same methods

FOLFCAsk.FCAskAnswerHandler::addProofStep ( Clause implication, Literal fact, Term>.Dictionary bindings ) : void