#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.33h --- 2025.06.18 --- c++ api documentaion by doxygen