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