CBMC
|
Value Set Abstract Object. More...
#include <util/arith_tools.h>
#include <util/simplify_expr.h>
#include <analyses/variable-sensitivity/abstract_environment.h>
#include <analyses/variable-sensitivity/constant_abstract_value.h>
#include <analyses/variable-sensitivity/interval_abstract_value.h>
#include <analyses/variable-sensitivity/value_set_abstract_object.h>
#include <analyses/variable-sensitivity/widened_range.h>
#include "context_abstract_object.h"
#include <algorithm>
Go to the source code of this file.
Classes | |
class | value_set_index_ranget |
class | value_set_value_ranget |
Typedefs | |
using | set_predicate_fn = std::function< bool(const abstract_value_objectt &)> |
Value Set Abstract Object.
Definition in file value_set_abstract_object.cpp.
using set_predicate_fn = std::function<bool(const abstract_value_objectt &)> |
Definition at line 410 of file value_set_abstract_object.cpp.
|
static |
Definition at line 402 of file value_set_abstract_object.cpp.
|
static |
Definition at line 520 of file value_set_abstract_object.cpp.
|
static |
Definition at line 562 of file value_set_abstract_object.cpp.
|
static |
Definition at line 503 of file value_set_abstract_object.cpp.
|
static |
Definition at line 478 of file value_set_abstract_object.cpp.
|
static |
Definition at line 587 of file value_set_abstract_object.cpp.
Definition at line 631 of file value_set_abstract_object.cpp.
Definition at line 639 of file value_set_abstract_object.cpp.
Definition at line 644 of file value_set_abstract_object.cpp.
Definition at line 649 of file value_set_abstract_object.cpp.
Definition at line 436 of file value_set_abstract_object.cpp.
|
static |
Definition at line 62 of file value_set_abstract_object.cpp.
|
static |
Definition at line 104 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 386 of file value_set_abstract_object.cpp.
|
static |
Definition at line 553 of file value_set_abstract_object.cpp.
|
static |
Definition at line 411 of file value_set_abstract_object.cpp.
|
static |
Definition at line 423 of file value_set_abstract_object.cpp.
|
static |
Definition at line 376 of file value_set_abstract_object.cpp.
|
static |
Definition at line 616 of file value_set_abstract_object.cpp.
|
static |
Definition at line 654 of file value_set_abstract_object.cpp.