Enumerator Interface. More...

#include <util/expr.h>
#include <list>
#include <map>
#include <set>

Include dependency graph for expr_enumerator.h:

This graph shows which files directly or indirectly include this file:

Classes
class	enumerator_baset
	A base class for expression enumerators. More...

class	leaf_enumeratort
	Enumerator that enumerates leaf expressions from a given list. More...

class	non_leaf_enumeratort
	Non-leaf enumerator enumerates expressions of form f(a_1, a_2, ..., a_n) where a_i's are sub-expressions enumerated by sub-enumerators. More...

class	binary_functional_enumeratort
	Enumerator that enumerates binary functional expressions. More...

class	alternatives_enumeratort
	Enumerators that enumerates expressions in the union of enumerated expressions of sub-enumerators. More...

class	enumerator_factoryt
	Factory for enumerator that can be used to represent a tree grammar. More...

class	recursive_enumerator_placeholdert
	Placeholders for actual enumerators, which represent nonterminals. More...

Typedefs
typedef std::list< exprt >	expr_listt

typedef std::set< exprt >	expr_sett

typedef std::list< std::size_t >	partitiont

typedef std::list< const enumerator_baset * >	enumeratorst

Detailed Description

Enumerator Interface.

Definition in file expr_enumerator.h.

Typedef Documentation

Definition at line 132 of file expr_enumerator.h.

Definition at line 18 of file expr_enumerator.h.

Definition at line 19 of file expr_enumerator.h.

typedef std::list<std::size_t> partitiont

Definition at line 20 of file expr_enumerator.h.