cprover
simplify_expr_class.h File Reference
#include <set>
#include "expr.h"
#include "mp_arith.h"
#include "nodiscard.h"
#include "type.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
 
struct  simplify_exprt::resultt< T >
 

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 69 of file simplify_expr_class.h.