This module collects all basic container classes aka state- event- and transition-sets, e.g.,. More...
Detailed DescriptionThis module collects all basic container classes aka state- event- and transition-sets, e.g.,.
All libFAUDES container classes share the same basic API similar to the one known from STL containers. In addition, they implement file IO via faudes token streams and/or XML. Most commonly used is the plain faudes::EventSet and the faudes::Alphabet. Plug-ins introduce specialized sets for their purposes. Macro Definition Documentation
Convenience Macro. Definition at line 551 of file cfl_indexset.h. Typedef Documentation
Convenience typedef for event sets with controllability attributes. Definition at line 240 of file cfl_cgenerator.h.
Convenience typedef for plain event sets. Definition at line 531 of file cfl_nameset.h.
Definition at line 271 of file cfl_indexset.h.
Type definition for default sorted TTransSet. Definition at line 918 of file cfl_transset.h.
Type definition for ev, x1, x2 sorted TTransSet. Definition at line 924 of file cfl_transset.h.
Type definition for ev, x2, x1 sorted TTransSet. Definition at line 927 of file cfl_transset.h.
Type definition for default sorted TTransSet. Definition at line 921 of file cfl_transset.h.
Type definition for x1, x2, ev sorted TTransSet. Definition at line 936 of file cfl_transset.h.
Type definition for x2, ev, x1 sorted TTransSet. Definition at line 930 of file cfl_transset.h.
Type definition for x2, x1, ev sorted TTransSet. Definition at line 933 of file cfl_transset.h. Function Documentation
template<class T , class Cmp >
Definition at line 1071 of file cfl_baseset.h.
template<class T , class Cmp >
Definition at line 1105 of file cfl_baseset.h.
template<class T , class Cmp >
Definition at line 1121 of file cfl_baseset.h.
template<class T , class Cmp >
Definition at line 1042 of file cfl_baseset.h.
template<class T , class Cmp >
Definition at line 1012 of file cfl_baseset.h. libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |