CBMC
guard_expr.h File Reference

Guard Data Structure. More...

#include <util/expr.h>
+ Include dependency graph for guard_expr.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  guard_expr_managert
 This is unused by this implementation of guards, but can be used by other implementations of the same interface. More...
 
class  guard_exprt
 

Detailed Description

Guard Data Structure.

Definition in file guard_expr.h.