Enumerator Interface. More...
Include dependency graph for expr_enumerator.h: This graph shows which files directly or indirectly include this file:Go to the source code of 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
◆ enumeratorst
| typedef std::list<const enumerator_baset *> enumeratorst |
Definition at line 132 of file expr_enumerator.h.
◆ expr_listt
| typedef std::list<exprt> expr_listt |
Definition at line 18 of file expr_enumerator.h.
◆ expr_sett
Definition at line 19 of file expr_enumerator.h.
◆ partitiont
| typedef std::list<std::size_t> partitiont |
Definition at line 20 of file expr_enumerator.h.
