CBMC
abstract_event.cpp File Reference

abstract events More...

#include "abstract_event.h"
+ Include dependency graph for abstract_event.cpp:

Go to the source code of this file.

Detailed Description

abstract events

Definition in file abstract_event.cpp.