CBMC
Loading...
Searching...
No Matches
Typedefs
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.

AltStyle によって変換されたページ (->オリジナル) /