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:

Go to the source code of this file.

Functions
exprt	simplify_state_expr (exprt, const std::unordered_set< symbol_exprt, irep_hash > &address_taken, const namespacet &)
exprt	simplify_state_expr_node (exprt, const std::unordered_set< symbol_exprt, irep_hash > &address_taken, const namespacet &)

Detailed Description

Simplify State Expression.

Definition in file simplify_state_expr.h.

Function Documentation

simplify_state_expr()

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.

simplify_state_expr_node()

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.