internal static List <TermExpr <T_Identifier> > GetTerms(BoolExpr <T_Identifier> expression)
{
Debug.Assert(null != expression, "expression must be given");
LeafVisitor <T_Identifier> visitor = new LeafVisitor <T_Identifier>();
expression.Accept(visitor);
return(visitor._terms);
}
/// <summary>
/// Returns all term expressions below this node.
/// </summary>
internal List <TermExpr <T_Identifier> > GetTerms()
{
return(LeafVisitor <T_Identifier> .GetTerms(this));
}