sp_plpexecutor.cpp File Reference Executor that proposes transitions to execute. More... Go to the source code of this file.
Detailed DescriptionExecutor that proposes transitions to execute. Definition in file sp_plpexecutor.cpp. libFAUDES 2.31h --- 2024.01.29 --- c++ api documentaion by doxygen |