cprover
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 namespacetns
 

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: