DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <SynchronisationRules.hh>
Public Member Functions | |
SynchronisationRulesEncoder (SyncRules &rules) | |
Private Attributes | |
SyncRules | _rules |
Definition at line 380 of file SynchronisationRules.hh.
|
inline |
Definition at line 386 of file SynchronisationRules.hh.
|
private |
Definition at line 383 of file SynchronisationRules.hh.