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

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

getStepNumber() public method

public getStepNumber ( ) : int
return int 
        public int getStepNumber()
        {
            return step;
        }
AbstractProofStep
AbstractProofStep
getJustification
getPredecessorSteps
getProof
getStepNumber
setStepNumber