Detailed Description

A StateProperty containing only an unsigned integer

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

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