AIMA.Core.Logic.FOL.Inference.Proof.ProofStepClauseParamodulation.getPredecessorSteps C# (CSharp) Méthode

ProofStepClauseParamodulation Class Documentation Afficher le fichier Open project: PaulMineau/AIMA.Net

getPredecessorSteps() public méthode

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