cprover
two_value_pointer_abstract_object.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3  Module: analyses variable-sensitivity
4 
5  Author: Thomas Kiley, thomas.kiley@diffblue.com
6 
7 \*******************************************************************/
8 #ifndef CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
9 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_TWO_VALUE_POINTER_ABSTRACT_OBJECT_H
10 
12 
14 {
15 public:
19  {
20  }
21 
30  {
31  }
32 
39  const exprt &expr,
40  const abstract_environmentt &environment,
41  const namespacet &ns)
42  : abstract_pointer_objectt(expr, environment, ns)
43  {
44  }
45 };
46 
47 #endif // 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.
Definition: expr.h:54
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:92
two_value_pointer_abstract_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)
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.
Definition: type.h:28