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

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

getJustification() public method

public getJustification ( ) : String
return	String

        public override String getJustification()
        {
            return "Paramodulation: " + topClause.getProofStep().getStepNumber()
                    + ", " + equalityClause.getProofStep().getStepNumber() + ", ["
                    + assertion + "]";

        }
        // END-ProofStep

ProofStepClauseParamodulation

getJustification

getPredecessorSteps

getProof