12 #ifndef ALGORITHM_PARAMETERS_767C0EB2_9811_4764_8218_7F94032C29FD 13 #define ALGORITHM_PARAMETERS_767C0EB2_9811_4764_8218_7F94032C29FD const int EXCEPTION_EVENTS_VECTOR_SIZE
Definition: algorithm_parameters.cpp:23
const int REGIONS_OF_FINAL_STATE
Definition: algorithm_parameters.cpp:33
const int ASCENDING_PATH_ANCESTORS_VECTOR_SIZE
Definition: algorithm_parameters.cpp:32
const int REGIONS_OF_SIMPLE_STATE
Definition: algorithm_parameters.cpp:34
const int STATES_TO_EXIT_VECTOR_SIZE
const int EXECUTION_STEPS_VECTOR_SIZE
Definition: algorithm_parameters.cpp:20
const int TRANSITION_PRIORITIES_VECTOR_SIZE
Definition: algorithm_parameters.cpp:19
Definition: adapter_cpp11.hpp:21
const int DEFERRED_EVENTS_VECTOR_SIZE
Definition: algorithm_parameters.cpp:26
const int DEFAULT_TRANSITIONS_OF_HISTORY_VECTORS_SIZE
Definition: algorithm_parameters.cpp:27
const int CHOICES_VECTOR_SIZE
Definition: algorithm_parameters.cpp:24
const int ANCESTORS_REGION_VECTOR_SIZE
Definition: algorithm_parameters.cpp:35
const int ENABLED_COMPOUND_TRANSITION_VECTOR_SIZE
Definition: algorithm_parameters.cpp:25
const int EXIT_POINTS_VECTOR_SIZE
Definition: algorithm_parameters.cpp:29
const int COMPOUND_TRANSITIONS_VECTOR_SIZE
Definition: algorithm_parameters.cpp:22
const int TRANSITION_STEPS_VECTOR_SIZE
Definition: algorithm_parameters.cpp:21
const int ENTRY_POINTS_VECTOR_SIZE
Definition: algorithm_parameters.cpp:28
const int PSEUDOSTETS_IN_REGION_VECTOR_SIZE
Definition: algorithm_parameters.cpp:30
const int ANCESTORS_VECTOR_SIZE
Definition: algorithm_parameters.cpp:31
const int ACTIVE_STATE_CONFIGRATION_VECTOR_SIZE
Definition: algorithm_parameters.cpp:36