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

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

getJustification() public method

public getJustification ( ) : String
return String 
        public override String getJustification()
        {
            return "Chain from Clause: "
                    + fromClause.getProofStep().getStepNumber();
        }
        // END-ProofStep
ProofStepChainFromClause
ProofStepChainFromClause
getJustification
getPredecessorSteps
getProof