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

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

ProofStepGoal() public method

public ProofStepGoal ( Object proof ) : System
proof Object
return System 
        public ProofStepGoal(Object proof)
        {
            this.proof = proof;
        }
ProofStepGoal
ProofStepGoal
getJustification
getPredecessorSteps
getProof