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:

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.

Classes