cprover
|
Value Set Abstract Object. More...
#include "interval_abstract_value.h"
#include <analyses/variable-sensitivity/constant_abstract_value.h>
#include <analyses/variable-sensitivity/context_abstract_object.h>
#include <analyses/variable-sensitivity/two_value_array_abstract_object.h>
#include <analyses/variable-sensitivity/value_set_abstract_object.h>
#include <util/make_unique.h>
Go to the source code of this file.
Classes | |
class | value_set_index_ranget |
class | value_set_value_ranget |
Functions | |
static index_range_implementation_ptrt | make_value_set_index_range (const std::set< exprt > &vals) |
static value_range_implementation_ptrt | make_value_set_value_range (const abstract_object_sett &vals) |
static abstract_object_sett | unwrap_and_extract_values (const abstract_object_sett &values) |
static abstract_object_pointert | maybe_extract_single_value (const abstract_object_pointert &maybe_singleton) |
Helper for converting singleton value sets into its only value. More... | |
static bool | are_any_top (const abstract_object_sett &set) |
static abstract_object_pointert | maybe_unwrap_context (const abstract_object_pointert &maybe_wrapped) |
Value Set Abstract Object.
Definition in file value_set_abstract_object.cpp.
|
static |
Definition at line 344 of file value_set_abstract_object.cpp.
|
static |
Definition at line 56 of file value_set_abstract_object.cpp.
|
static |
Definition at line 98 of file value_set_abstract_object.cpp.
|
static |
Helper for converting singleton value sets into its only value.
maybe_singleton:
either a set of abstract values or a single value
Definition at line 328 of file value_set_abstract_object.cpp.
|
static |
Definition at line 306 of file value_set_abstract_object.cpp.
|
static |
Definition at line 315 of file value_set_abstract_object.cpp.