CBMC
guard_expr_managert Struct Reference

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

#include <guard_expr.h>

Detailed Description

This is unused by this implementation of guards, but can be used by other implementations of the same interface.

Definition at line 19 of file guard_expr.h.


The documentation for this struct was generated from the following file: