CBMC
|
This is unused by this implementation of guards, but can be used by other implementations of the same interface. More...
#include <guard_expr.h>
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.