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

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

getJustification() public méthode

public getJustification ( ) : String
Résultat	String

        public override String getJustification()
        {
            int lowStep = parent1.getProofStep().getStepNumber();
            int highStep = parent2.getProofStep().getStepNumber();

            if (lowStep > highStep)
            {
                lowStep = highStep;
                highStep = parent1.getProofStep().getStepNumber();
            }

            return "Resolution: " + lowStep + "," + highStep + " " + subst + ", "
                    + renameSubst;
        }
        // END-ProofStep

ProofStepClauseBinaryResolvent

getJustification

getPredecessorSteps

getProof