AIMA.Core.Logic.FOL.Inference.FOLBCAsk.BCAskAnswerHandler.setAllProofSteps C# (CSharp) Метод

            public void setAllProofSteps(List<List<ProofStepBwChGoal>> allProofSteps)
            {
                foreach (List<ProofStepBwChGoal> steps in allProofSteps)
                {
                    ProofStepBwChGoal lastStep = steps[steps.Count - 1];
                    Dictionary<Variable, Term> theta = lastStep.getBindings();
                    proofs.Add(new ProofFinal(lastStep, theta));
                }
            }