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

        public ProofStepClauseParamodulation(Clause paramodulated,
                Clause topClause, Clause equalityClause, TermEquality assertion)
        {
            this.paramodulated = paramodulated;
            this.topClause = topClause;
            this.equalityClause = equalityClause;
            this.assertion = assertion;
            this.predecessors.Add(topClause.getProofStep());
            this.predecessors.Add(equalityClause.getProofStep());
        }