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 More... | |
| resultt (T _expr) | |
| conversion from expression, thus not 'explicit' marks the expression as "CHANGED" More... | |
| 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 105 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 112 of file simplify_expr_class.h.
Constructor & Destructor Documentation
◆ resultt() [1/2]
template<typename T = exprt>
|
inline |
conversion from expression, thus not 'explicit' marks the expression as "CHANGED"
Definition at line 129 of file simplify_expr_class.h.
◆ resultt() [2/2]
template<typename T = exprt>
|
inline |
Definition at line 133 of file simplify_expr_class.h.
Member Function Documentation
◆ has_changed()
template<typename T = exprt>
|
inline |
Definition at line 107 of file simplify_expr_class.h.
◆ operator T()
template<typename T = exprt>
|
inline |
conversion to expression, to enable chaining
Definition at line 121 of file simplify_expr_class.h.
Member Data Documentation
◆ expr
template<typename T = exprt>
| T simplify_exprt::resultt< T >::expr |
Definition at line 118 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
