simplify_expr_class.h File Reference

#include <set>
#include "type.h"
#include "mp_arith.h"
#include "replace_expr.h"

Include dependency graph for simplify_expr_class.h:

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

Go to the source code of this file.

Classes
class	simplify_exprt

Macros
#define	forall_value_list(it, value_list)

Macro Definition Documentation

forall_value_list

#define forall_value_list	(		it,
			value_list
	)

Value:

for(simplify_exprt::value_listt::const_iterator it=(value_list).begin(); \
      it!=(value_list).end(); ++it)

Definition at line 33 of file simplify_expr_class.h.

Referenced by simplify_exprt::simplify_inequality_not_constant().