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

        public ProofStepClauseBinaryResolvent(Clause resolvent, Clause parent1,
                Clause parent2, Dictionary<Variable, Term> subst,
                Dictionary<Variable, Term> renameSubst)
        {
            this.resolvent = resolvent;
            this.parent1 = parent1;
            this.parent2 = parent2;
            this.subst = subst;
            this.renameSubst = renameSubst;
            this.predecessors.Add(parent1.getProofStep());
            this.predecessors.Add(parent2.getProofStep());
        }