Go to the documentation of this file.
8 #ifndef CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
9 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
47 #endif // CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
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.
virtual const typet & type() const
Get the real type of the variable this abstract object is representing.
Base class for all expressions.
two_value_pointer_abstract_objectt(const typet &type)
two_value_pointer_abstract_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
The base of all pointer abstractions.