#include <langapi/language_util.h>#include <util/interval.h>#include <util/std_expr.h>#include "abstract_object_statistics.h"#include "constant_abstract_value.h"
Include dependency graph for constant_abstract_value.cpp:Go to the source code of this file.
Classes | |
| class | constant_index_ranget |
Functions | |
| static index_range_implementation_ptrt | make_constant_index_range (const exprt &val) |
Function Documentation
◆ make_constant_index_range()
|
static |
Definition at line 35 of file constant_abstract_value.cpp.
