Ejemplo n.º 1
0
 /// <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)));
 }