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

        public ProofStepClauseDemodulation(Clause demodulated, Clause origClause,
                TermEquality assertion)
        {
            this.demodulated = demodulated;
            this.origClause = origClause;
            this.assertion = assertion;
            this.predecessors.Add(origClause.getProofStep());
        }