CBMC
|
Enumerator that enumerates leaf expressions from a given list. More...
#include <expr_enumerator.h>
Public Member Functions | |
leaf_enumeratort (const expr_sett &leaf_exprs, const namespacet &ns) | |
expr_sett | enumerate (const std::size_t size) const override |
Enumerate expressions in the set of leaf_exprs . More... | |
Public Member Functions inherited from enumerator_baset | |
enumerator_baset (const namespacet &ns) | |
enumerator_baset (const enumerator_baset &other)=delete | |
enumerator_baset & | operator= (const enumerator_baset &other)=delete |
virtual | ~enumerator_baset ()=default |
Protected Attributes | |
const expr_sett | leaf_exprs |
Protected Attributes inherited from enumerator_baset | |
const namespacet & | ns |
Enumerator that enumerates leaf expressions from a given list.
Leaf expressions are complete expressions with no placeholder.
Definition at line 136 of file expr_enumerator.h.
|
inline |
Definition at line 139 of file expr_enumerator.h.
|
overridevirtual |
Enumerate expressions in the set of leaf_exprs
.
Implements enumerator_baset.
Definition at line 15 of file expr_enumerator.cpp.
|
protected |
Definition at line 148 of file expr_enumerator.h.