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

ProofStepClauseClausifySentence 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 "Clausified " + predecessors[0].getStepNumber();
        }
        // END-ProofStep
ProofStepClauseClausifySentence
ProofStepClauseClausifySentence
getJustification
getPredecessorSteps
getProof