// END-InferenceResult 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)); } }
// END-InferenceResult // public void setAllProofSteps(ICollection <ICollection <ProofStepBwChGoal> > allProofSteps) { foreach (ICollection <ProofStepBwChGoal> steps in allProofSteps) { ProofStepBwChGoal lastStep = steps.Get(steps.Size() - 1); IMap <Variable, Term> theta = lastStep.getBindings(); proofs.Add(new ProofFinal(lastStep, theta)); } }
// END-InferenceResult // public void SetAllProofSteps(IList <IList <ProofStepBwChGoal> > allProofSteps) { foreach (IList <ProofStepBwChGoal> steps in allProofSteps) { ProofStepBwChGoal lastStep = steps[steps.Count - 1]; IDictionary <Variable, ITerm> theta = lastStep.Bindings; proofs.Add(new ProofFinal(lastStep, theta)); } }
public void addProofStep( ICollection <ICollection <ProofStepBwChGoal> > currentLevelProofSteps, Clause toProve, Literal currentGoal, IMap <Variable, Term> bindings) { if (currentLevelProofSteps.Size() > 0) { ProofStepBwChGoal predecessor = new ProofStepBwChGoal(toProve, currentGoal, bindings); foreach (ICollection <ProofStepBwChGoal> steps in currentLevelProofSteps) { if (steps.Size() > 0) { steps.Get(0).setPredecessor(predecessor); } steps.Insert(0, predecessor); } } }
public void addProofStep( List <List <ProofStepBwChGoal> > currentLevelProofSteps, Clause toProve, Literal currentGoal, Dictionary <Variable, Term> bindings) { if (currentLevelProofSteps.Count > 0) { ProofStepBwChGoal predecessor = new ProofStepBwChGoal(toProve, currentGoal, bindings); foreach (List <ProofStepBwChGoal> steps in currentLevelProofSteps) { if (steps.Count > 0) { steps[0].setPredecessor(predecessor); } steps.Insert(0, predecessor); } } }