public ProofStepBwChGoal ( Clause toProve, |
||
toProve | Clause | |
currentGoal | ||
bindings | Term>.Dictionary | |
return | System |
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]);
}
}