expr_initializert< nondet > Class Template Reference

Collaboration diagram for expr_initializert< nondet >:

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

Protected Member Functions
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>

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

protected

Definition at line 45 of file expr_initializer.cpp.

operator()()

template<bool nondet>

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

inline

Definition at line 29 of file expr_initializer.cpp.

Member Data Documentation

ns

template<bool nondet>

const namespacet& expr_initializert< nondet >::ns

protected

Definition at line 37 of file expr_initializer.cpp.

---

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

• util/expr_initializer.cpp