#include "sp_plpexecutor.h"
#include <cmath>
Go to the source code of this file.
Executor that proposes transitions to execute
Definition in file sp_plpexecutor.cpp.
libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen