cprover
|
#include <array>
#include <goto-programs/adjust_float_expressions.h>
#include <langapi/language_util.h>
#include <util/arith_tools.h>
#include <util/ieee_float.h>
#include <util/namespace.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include <util/type.h>
#include "abstract_environment.h"
#include "constant_abstract_value.h"
Go to the source code of this file.
Classes | |
class | constant_index_ranget |
Functions | |
index_range_ptrt | make_constant_index_range (const exprt &val) |
index_range_ptrt make_constant_index_range | ( | const exprt & | val | ) |
Definition at line 31 of file constant_abstract_value.cpp.