Detailed Description

Enumerated class that is used for parsing a ddsync file

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

/home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/DdSyncDescriptor.hh