simplify_exprt::resultt< T > Struct Template Reference

#include <simplify_expr_class.h>

Collaboration diagram for simplify_exprt::resultt< T >:

Public Types
enum	expr_changedt { CHANGED , UNCHANGED }

Public Member Functions
bool	has_changed () const
	operator T () const
	conversion to expression, to enable chaining
	resultt (T _expr)
	conversion from expression, thus not 'explicit' marks the expression as "CHANGED"
	resultt (expr_changedt _expr_changed, T _expr)

Public Attributes
enum simplify_exprt::resultt::expr_changedt	expr_changed
T	expr

Detailed Description

template<typename T = exprt>
struct simplify_exprt::resultt< T >

Definition at line 107 of file simplify_expr_class.h.

Member Enumeration Documentation

expr_changedt

template<typename T = exprt>

enum simplify_exprt::resultt::expr_changedt

Enumerator
CHANGED
UNCHANGED

Definition at line 114 of file simplify_expr_class.h.

Constructor & Destructor Documentation

resultt() [1/2]

template<typename T = exprt>

simplify_exprt::resultt< T >::resultt ( T  _expr )

inline

conversion from expression, thus not 'explicit' marks the expression as "CHANGED"

Definition at line 131 of file simplify_expr_class.h.

resultt() [2/2]

template<typename T = exprt>

simplify_exprt::resultt< T >::resultt ( expr_changedt  _expr_changed, T  _expr  )

inline

Definition at line 135 of file simplify_expr_class.h.

Member Function Documentation

has_changed()

template<typename T = exprt>

bool simplify_exprt::resultt< T >::has_changed ( ) const

inline

Definition at line 109 of file simplify_expr_class.h.

operator T()

template<typename T = exprt>

simplify_exprt::resultt< T >::operator T ( ) const

inline

conversion to expression, to enable chaining

Definition at line 123 of file simplify_expr_class.h.

Member Data Documentation

expr

template<typename T = exprt>

T simplify_exprt::resultt< T >::expr

Definition at line 120 of file simplify_expr_class.h.

expr_changed

template<typename T = exprt>

enum simplify_exprt::resultt::expr_changedt simplify_exprt::resultt< T >::expr_changed

---

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

• /home/runner/work/cbmc/cbmc/src/util/simplify_expr_class.h