/// <summary> /// Returns all term expressions below this node. /// </summary> internal List <TermExpr <T_Identifier> > GetTerms() { return(LeafVisitor <T_Identifier> .GetTerms(this)); }
internal static IEnumerable <T_Identifier> GetLeaves(BoolExpr <T_Identifier> expression) { return(LeafVisitor <T_Identifier> .GetTerms(expression).Select <TermExpr <T_Identifier>, T_Identifier>((Func <TermExpr <T_Identifier>, T_Identifier>)(term => term.Identifier))); }