guard.h File Reference

Guard Data Structure. More...

#include "guard_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.

Typedefs
using	guard_managert = guard_expr_managert
using	guardt = guard_exprt

Detailed Description

Guard Data Structure.

Definition in file guard.h.

Typedef Documentation

guard_managert

using guard_managert = guard_expr_managert

Definition at line 28 of file guard.h.

guardt

using guardt = guard_exprt

Definition at line 29 of file guard.h.