AIMA.Core.Logic.FOL.Inference.Proof.ProofStepChainFromClause.getPredecessorSteps C# (CSharp) Method

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

getPredecessorSteps() public method

public getPredecessorSteps ( ) : List
return List 
        public override List<ProofStep> getPredecessorSteps()
        {
            return new ReadOnlyCollection<ProofStep>(predecessors).ToList<ProofStep>();
        }
ProofStepChainFromClause
ProofStepChainFromClause
getJustification
getPredecessorSteps
getProof