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

        public ProofStepChainCancellation(Chain cancellation, Chain cancellationOf,
                Dictionary<Variable, Term> subst)
        {
            this.cancellation = cancellation;
            this.cancellationOf = cancellationOf;
            this.subst = subst;
            this.predecessors.Add(cancellationOf.getProofStep());
        }