AIMA.Core.Logic.FOL.Inference.Proof.AbstractProofStep.getJustification C# (CSharp) Method

AbstractProofStep Class Documentation Datei anzeigen Open project: PaulMineau/AIMA.Net

getJustification() public abstract method

public abstract getJustification ( ) : String
return String 
        public abstract String getJustification();
AbstractProofStep
AbstractProofStep
getJustification
getPredecessorSteps
getProof
getStepNumber
setStepNumber