cprover
safe_pointer.h File Reference

Simple checked pointers. More...

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

Go to the source code of this file.

Classes

class  safe_pointer< T >
 

Detailed Description

Simple checked pointers.

Definition in file safe_pointer.h.