8 #ifndef CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
9 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
The base of all pointer abstractions.
virtual const typet & type() const
Get the real type of the variable this abstract object is representing.
Base class for all expressions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
two_value_pointer_abstract_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)
two_value_pointer_abstract_objectt(const typet &type)
two_value_pointer_abstract_objectt(const typet &type, bool top, bool bottom)
Start the abstract object at either top or bottom or neither Asserts if both top and bottom are true.
The type of an expression, extends irept.