AIMA.Core.Logic.FOL.Inference.Proof.ProofStepClauseDemodulation.getJustification C# (CSharp) Méthode

ProofStepClauseDemodulation Class Documentation Afficher le fichier Open project: PaulMineau/AIMA.Net

getJustification() public méthode

public getJustification ( ) : String
Résultat	String

        public override String getJustification()
        {
            return "Demodulation: " + origClause.getProofStep().getStepNumber()
                    + ", [" + assertion + "]";
        }
        // END-ProofStep

ProofStepClauseDemodulation

getJustification

getPredecessorSteps

getProof