libFAUDES
Sections
Index
|
faudes::ProductCompositionMap Class ReferenceRti-wrapper for reverse composition maps. More...
Detailed DescriptionRti-wrapper for reverse composition maps. Parallel-composition and related functions provide an optional argument to record a mapping from original state-indicees to result state-indicees. In order to support this data type in the run-time interface, we provide a wrapper class that is derived from faudes Type. The curent implementation is minimal (no token io). Definition at line 43 of file cfl_parallel.h. Constructor & Destructor Documentation
Rti wrapper class implementation. Definition at line 688 of file cfl_parallel.cpp.
Definition at line 693 of file cfl_parallel.cpp.
Definition at line 698 of file cfl_parallel.cpp. Member Function DocumentationDefinition at line 748 of file cfl_parallel.cpp. Definition at line 765 of file cfl_parallel.cpp.
Clear configuration data. Derived classes should re-implement this method to ensure some consistent configuration data. Reimplemented from faudes::Type. Definition at line 702 of file cfl_parallel.cpp. Definition at line 740 of file cfl_parallel.cpp.
Definition at line 710 of file cfl_parallel.cpp.
Definition at line 718 of file cfl_parallel.cpp. Definition at line 734 of file cfl_parallel.cpp. Definition at line 728 of file cfl_parallel.cpp. Definition at line 723 of file cfl_parallel.cpp. Member Data Documentation
Definition at line 67 of file cfl_parallel.h.
Definition at line 68 of file cfl_parallel.h.
Definition at line 66 of file cfl_parallel.h.
Definition at line 64 of file cfl_parallel.h. The documentation for this class was generated from the following files: |
libFAUDES 2.20s --- 2011.10.12 --- c++ source docu by doxygen