enumerator_baset Class Reference

A base class for expression enumerators. More...

#include <expr_enumerator.h>

Inheritance diagram for enumerator_baset:

Collaboration diagram for enumerator_baset:

Public Member Functions
	enumerator_baset (const namespacet &ns)
virtual expr_sett	enumerate (const std::size_t size) const =0
	enumerator_baset (const enumerator_baset &other)=delete
enumerator_baset &	operator= (const enumerator_baset &other)=delete
virtual	~enumerator_baset ()=default

Protected Attributes
const namespacet &	ns

Detailed Description

A base class for expression enumerators.

Definition at line 114 of file expr_enumerator.h.

Constructor & Destructor Documentation

enumerator_baset() [1/2]

enumerator_baset::enumerator_baset ( const namespacet &  ns )

inlineexplicit

Definition at line 117 of file expr_enumerator.h.

enumerator_baset() [2/2]

enumerator_baset::enumerator_baset ( const enumerator_baset &  other )

delete

~enumerator_baset()

virtual enumerator_baset::~enumerator_baset ( )

virtualdefault

Member Function Documentation

enumerate()

virtual expr_sett enumerator_baset::enumerate ( const std::size_t  size ) const

pure virtual

Implemented in recursive_enumerator_placeholdert, alternatives_enumeratort, non_leaf_enumeratort, and leaf_enumeratort.

operator=()

enumerator_baset& enumerator_baset::operator= ( const enumerator_baset &  other )

delete

Member Data Documentation

ns

const namespacet& enumerator_baset::ns

protected

Definition at line 129 of file expr_enumerator.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-synthesizer/expr_enumerator.h