AIMA.Core.Logic.FOL.Inference.Proof.ProofFinal.replaceAnswerBindings C# (CSharp) Method

ProofFinal Class Documentation ファイルを表示 Open project: PaulMineau/AIMA.Net

replaceAnswerBindings() public method

public replaceAnswerBindings ( Term>.Dictionary updatedBindings ) : void
updatedBindings Term>.Dictionary
return void 
        public void replaceAnswerBindings(Dictionary<Variable, Term> updatedBindings)
        {
            answerBindings.Clear();
            answerBindings = updatedBindings;
        }
ProofFinal
ProofFinal
ToString
addToProofSteps
calcualteProofSteps
getAnswerBindings
getSteps
replaceAnswerBindings