General implementation of a an abstract_objectt which can track side information in the form of a 'context' associated with a wrapped abstract_objectt of some other type. More...

#include <analyses/variable-sensitivity/abstract_object.h>

Include dependency graph for context_abstract_object.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	context_abstract_objectt

Detailed Description

General implementation of a an abstract_objectt which can track side information in the form of a 'context' associated with a wrapped abstract_objectt of some other type.

This class is not intended to be instantiated directly - instead it is intended to be inherited from for other classes to define what the context actually means.

Definition in file context_abstract_object.h.

Classes

Detailed Description