expr_initializert< nondet > Class Template Reference

Collaboration diagram for expr_initializert< nondet >:

Public Member Functions
	expr_initializert (const namespacet &_ns)
optionalt< exprt >	operator() (const typet &type, const source_locationt &source_location)

Protected Member Functions
optionalt< exprt >	expr_initializer_rec (const typet &type, const source_locationt &source_location)

Protected Attributes
const namespacet &	ns

Detailed Description

template<bool nondet>
class expr_initializert< nondet >

Definition at line 22 of file expr_initializer.cpp.

Constructor & Destructor Documentation

expr_initializert()

template<bool nondet>

expr_initializert< nondet >::expr_initializert ( const namespacet &  _ns )

inlineexplicit

Definition at line 25 of file expr_initializer.cpp.

Member Function Documentation

expr_initializer_rec()

template<bool nondet>

optionalt< exprt > expr_initializert< nondet >::expr_initializer_rec ( const typet &  type, const source_locationt &  source_location  )

protected

Definition at line 44 of file expr_initializer.cpp.

operator()()

template<bool nondet>

optionalt<exprt> expr_initializert< nondet >::operator() ( const typet &  type, const source_locationt &  source_location  )

inline

Definition at line 30 of file expr_initializer.cpp.

Member Data Documentation

ns

template<bool nondet>

const namespacet& expr_initializert< nondet >::ns

protected

Definition at line 36 of file expr_initializer.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/expr_initializer.cpp