faudes::ProductCompositionMap Class ReferenceRti-wrapper for composition maps. More...
Detailed DescriptionRti-wrapper for 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 702 of file cfl_parallel.cpp.
Definition at line 707 of file cfl_parallel.cpp.
Definition at line 712 of file cfl_parallel.cpp. Member Function DocumentationDefinition at line 762 of file cfl_parallel.cpp. Definition at line 779 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 716 of file cfl_parallel.cpp. Definition at line 754 of file cfl_parallel.cpp.
Definition at line 724 of file cfl_parallel.cpp.
Definition at line 732 of file cfl_parallel.cpp. Definition at line 748 of file cfl_parallel.cpp. Definition at line 742 of file cfl_parallel.cpp. Definition at line 737 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.23h --- 2014.04.03 --- c++ api documentaion by doxygen |