Loading...

Searching...

No Matches

simplify_state_expr.h File Reference

Simplify State Expression. More...

#include <util/std_expr.h>
#include <unordered_set>

+ Include dependency graph for simplify_state_expr.h:

+ This graph shows which files directly or indirectly include this file:

Functions

Detailed Description

Simplify State Expression.

exprt simplify_state_expr ( exprt src,

const std::unordered_set< symbol_exprt, irep_hash > & address_taken,

const namespacet & ns

)

Definition at line 1087 of file simplify_state_expr.cpp.

exprt simplify_state_expr_node ( exprt src,

const std::unordered_set< symbol_exprt, irep_hash > & address_taken,

const namespacet & ns

)

Definition at line 961 of file simplify_state_expr.cpp.