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

getPredecessorSteps() public method

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