AIMA.Core.Logic.FOL.Inference.Proof.ProofStepBwChGoal.getBindings C# (CSharp) Method

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

getBindings() public method

public getBindings ( ) : Term>.Dictionary
return Term>.Dictionary 
        public Dictionary<Variable, Term> getBindings()
        {
            return bindings;
        }
ProofStepBwChGoal
ProofStepBwChGoal
getBindings
getJustification
getPredecessorSteps
getProof
setPredecessor