AIMA.Core.Logic.FOL.Inference.Proof.ProofStepChainContrapositive.getProof C# (CSharp) Method

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

getProof() public method

public getProof ( ) : String
return String 
        public override String getProof()
        {
            return contrapositive.ToString();
        }
ProofStepChainContrapositive
ProofStepChainContrapositive
getJustification
getPredecessorSteps
getProof