cprover
|
#include <util/arith_tools.h>
#include <util/expr.h>
#include <util/namespace.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include <util/std_types.h>
#include <util/symbol_table.h>
#include <util/threeval.h>
#include <iostream>
#include <ostream>
#include <sstream>
Go to the source code of this file.
Classes | |
class | max_exprt |
+∞ upper bound for intervals More... | |
class | min_exprt |
-∞ upper bound for intervals More... | |
class | constant_interval_exprt |
Represents an interval of values. More... | |
Functions | |
const constant_interval_exprt & | to_constant_interval_expr (const exprt &expr) |
|
inline |
Definition at line 466 of file interval.h.