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

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

getProof() public méthode

public getProof ( ) : String
Résultat String 
        public override String getProof()
        {
            return resolvent.ToString();
        }
ProofStepClauseBinaryResolvent
ProofStepClauseBinaryResolvent
getJustification
getPredecessorSteps
getProof