cprover
guard.h File Reference
#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

Definition at line 26 of file guard.h.

◆ guardt

Definition at line 27 of file guard.h.