AIMA.Core.Logic.FOL.Inference.Proof.ProofStepClauseDemodulation.getProof C# (CSharp) Метод

Документация по классу ProofStepClauseDemodulation Показать файл Открыть проект

getProof() публичный Метод

public getProof ( ) : String
Результат String 
        public override String getProof()
        {
            return demodulated.ToString();
        }
ProofStepClauseDemodulation
ProofStepClauseDemodulation
getJustification
getPredecessorSteps
getProof