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

        public ProofStepBwChGoal(Clause toProve, Literal currentGoal,
                Dictionary<Variable, Term> bindings)
        {
            this.toProve = toProve;
            this.currentGoal = currentGoal;
            foreach (Variable key in bindings.Keys)
            {
                this.bindings.Add(key, bindings[key]);
            }
        }