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

ProofStepClauseParamodulation Class Documentation Datei anzeigen 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>();
        }
ProofStepClauseParamodulation
ProofStepClauseParamodulation
getJustification
getPredecessorSteps
getProof