cprover
|
An abstraction of a single value that just stores a constant. More...
#include <iosfwd>
#include <analyses/variable-sensitivity/abstract_value_object.h>
#include <util/std_expr.h>
Go to the source code of this file.
Classes | |
class | constant_abstract_valuet |
An abstraction of a single value that just stores a constant.
Definition in file constant_abstract_value.h.