cprover
|
An abstraction of an array value. More...
#include <iosfwd>
#include <vector>
#include <analyses/variable-sensitivity/abstract_aggregate_object.h>
#include <analyses/variable-sensitivity/constant_abstract_value.h>
Go to the source code of this file.
Classes | |
class | full_array_abstract_objectt |
struct | full_array_abstract_objectt::mp_integer_hasht |
An abstraction of an array value.
Definition in file full_array_abstract_object.h.