|
|
||||||
|
faudes::ProductCompositionMap Class Reference
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◆ ProductCompositionMap() [1/2]
Rti wrapper class implementation Definition at line 760 of file cfl_parallel.cpp. ◆ ProductCompositionMap() [2/2]
Definition at line 765 of file cfl_parallel.cpp. ◆ ~ProductCompositionMap()
Definition at line 770 of file cfl_parallel.cpp. Member Function Documentation◆ Arg1State()Definition at line 820 of file cfl_parallel.cpp. ◆ Arg2State()Definition at line 837 of file cfl_parallel.cpp. ◆ Clear()
Clear configuration data. Derived classes should re-implement this method to ensure some consistent configuration data. Reimplemented from faudes::Type. Definition at line 774 of file cfl_parallel.cpp. ◆ CompState()Definition at line 812 of file cfl_parallel.cpp. ◆ DoAssign()
Definition at line 782 of file cfl_parallel.cpp. ◆ DoEqual()
Definition at line 790 of file cfl_parallel.cpp. ◆ operator!=()
Test equality of configuration data. See operator==(const Type&). This method calls the virtual method DoEqual(). Re-implementation can be done via the convenience macros FAUDES_TYPE_DECLARATION and FAUDES_TYPE_IMPLEMENTATION.
Definition at line 391 of file cfl_types.cpp. ◆ operator=()
Assign configurationdata from other object. Derived classes should implement the operator form for the assignment for each source type which allows for a non-trivial assignment. This includes the particular case were the source and destination types match exactly. In the latter case the DoAssign method should be invoked. In contrast to the Assign function, the operator form must not be reimplemented for missmatched source types: the operator form only accepts sensible source types. This allows for compiletime typeckecking. However, the downside is that when the type is not known at compiletime, configuration is not properly assigned. Re-implementation can be done via the convenience macros FAUDES_TYPE_DECLARATION and FAUDES_TYPE_IMPLEMENTATION.
Definition at line 340 of file cfl_types.cpp. ◆ operator==()
Test equality of configuration data. The operator form of the equality test is only defined for matching types, no cast will be performed. Thus, the test will be optimistic if the type is not known at compiletime. The object name or id is not considered in the test. This methoc calls the virtual method DoEqual(). Re-implementation can be done via the convenience macros FAUDES_TYPE_DECLARATION and FAUDES_TYPE_IMPLEMENTATION.
Definition at line 375 of file cfl_types.cpp. ◆ StlMap() [1/3]Definition at line 806 of file cfl_parallel.cpp. ◆ StlMap() [2/3]Definition at line 800 of file cfl_parallel.cpp. ◆ StlMap() [3/3]Definition at line 795 of file cfl_parallel.cpp. Member Data Documentation◆ mArg1MapDefinition at line 72 of file cfl_parallel.h. ◆ mArg2MapDefinition at line 73 of file cfl_parallel.h. ◆ mCompiled
Definition at line 71 of file cfl_parallel.h. ◆ mCompositionMapDefinition at line 69 of file cfl_parallel.h. The documentation for this class was generated from the following files: libFAUDES 2.33a --- 2025.05.02 --- c++ api documentaion by doxygen |