示例#1
0
 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);
     }
 }
示例#2
0
 protected void DeleteTerm()
 {
     Applier.DeleteTerm(Applier.Term);
     Replier.DeleteTerm(Replier.Term);
 }