return terms;
}
+ public static Term Eval (Domain domain, Term[] terms)
+ {
+ Term result = new Term (0);
+ foreach (Term term in terms)
+ {
+ result = term;
+ if (result.Objval is Funcall)
+ while ((result = result.Eval (domain)).Objval is Funcall);
+ }
+ return result;
+ }
+
+
public Xexpression (Domain domain, XmlNode node)
{
terms = ParseTerms (domain, node);