CBMC
leaf_enumeratort Class Reference

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

#include <expr_enumerator.h>

+ Inheritance diagram for leaf_enumeratort:
+ Collaboration diagram for leaf_enumeratort:

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_basetoperator= (const enumerator_baset &other)=delete
 
virtual ~enumerator_baset ()=default
 

Protected Attributes

const expr_sett leaf_exprs
 
- Protected Attributes inherited from enumerator_baset
const namespacetns
 

Detailed Description

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.

Constructor & Destructor Documentation

◆ leaf_enumeratort()

leaf_enumeratort::leaf_enumeratort ( const expr_sett leaf_exprs,
const namespacet ns 
)
inline

Definition at line 139 of file expr_enumerator.h.

Member Function Documentation

◆ enumerate()

expr_sett leaf_enumeratort::enumerate ( const std::size_t  size) const
overridevirtual

Enumerate expressions in the set of leaf_exprs.

Implements enumerator_baset.

Definition at line 15 of file expr_enumerator.cpp.

Member Data Documentation

◆ leaf_exprs

const expr_sett leaf_enumeratort::leaf_exprs
protected

Definition at line 148 of file expr_enumerator.h.


The documentation for this class was generated from the following files: