CBMC
context_abstract_object.h File Reference
+ 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.