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

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

getJustification() public method

public getJustification ( ) : String
return	String

        public override String getJustification()
        {
            return "Reduction: " + nearParent.getProofStep().getStepNumber() + ","
                    + farParent.getProofStep().getStepNumber() + " " + subst;
        }
        // END-ProofStep

ProofStepChainReduction

getJustification

getPredecessorSteps

getProof