protected void DeleteTerms(Pair <IList <Term> > terms)
{
foreach (var assignment in terms.Applier)
{
Applier.DeleteTerm(assignment);
}
foreach (var assignment in terms.Replier)
{
Replier.DeleteTerm(assignment);
}
}
protected void DeleteTerm()
{
Applier.DeleteTerm(Applier.Term);
Replier.DeleteTerm(Replier.Term);
}