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 539 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 511 of file cfl_nameset.h.
Definition at line 271 of file cfl_indexset.h.
Type definition for default sorted TTransSet. Definition at line 910 of file cfl_transset.h.
Type definition for ev, x1, x2 sorted TTransSet. Definition at line 916 of file cfl_transset.h.
Type definition for ev, x2, x1 sorted TTransSet. Definition at line 919 of file cfl_transset.h.
Type definition for default sorted TTransSet. Definition at line 913 of file cfl_transset.h.
Type definition for x1, x2, ev sorted TTransSet. Definition at line 928 of file cfl_transset.h.
Type definition for x2, ev, x1 sorted TTransSet. Definition at line 922 of file cfl_transset.h.
Type definition for x2, x1, ev sorted TTransSet. Definition at line 925 of file cfl_transset.h. Function Documentation
template<class T , class Cmp >
Definition at line 1099 of file cfl_baseset.h.
template<class T , class Cmp >
Definition at line 1133 of file cfl_baseset.h.
template<class T , class Cmp >
Definition at line 1149 of file cfl_baseset.h.
template<class T , class Cmp >
Definition at line 1070 of file cfl_baseset.h.
template<class T , class Cmp >
Definition at line 1040 of file cfl_baseset.h. libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen |