public replaceAnswerBindings ( Term>.Dictionary |
||
updatedBindings | Term>.Dictionary | |
return | void |
public void replaceAnswerBindings(Dictionary<Variable, Term> updatedBindings)
{
answerBindings.Clear();
answerBindings = updatedBindings;
}