cprover
|
Go to the source code of this file.
Classes | |
class | simplify_exprt |
Macros | |
#define | forall_value_list(it, value_list) |
#define forall_value_list | ( | it, | |
value_list | |||
) |
Definition at line 39 of file simplify_expr_class.h.
Referenced by simplify_exprt::simplify_inequality_not_constant().