cprover
guard.h File Reference

Guard Data Structure. More...

#include <iosfwd>
#include "expr.h"
Include dependency graph for guard.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  guardt
 

Detailed Description

Guard Data Structure.

Definition in file guard.h.