AIMA.Core.Logic.FOL.Inference.Proof.ProofStepBwChGoal.setPredecessor C# (CSharp) Метод

        public void setPredecessor(ProofStep predecessor)
        {
            predecessors.Clear();
            predecessors.Add(predecessor);
        }