Marmote Core
The project aims at realizing the prototype of a software environment dedicated to modeling with Markov chains.
|
Define global data structures : Model and function pointers. More...
Go to the source code of this file.
Classes | |
struct | st_evt |
Event. More... | |
struct | st_events |
Events. More... | |
struct | st_queues |
Queues. More... | |
struct | st_model |
Model. More... | |
struct | st_output |
Output. More... | |
struct | st_state |
State. More... | |
struct | st_hier_node |
Node [Load Sharing]. More... | |
struct | st_linked_sons |
Sons [Load Sharing]. More... | |
struct | st_neighbors |
Neighbors [Load Sharing]. More... | |
struct | elem |
Elements. More... | |
struct | interval |
Structure : Intervals in which the global trajectory is decomposed. More... | |
struct | task_data |
Structure : Data of a task. More... | |
struct | a_task |
Structure : an element of a linked list of tasks with linkage in double direction. More... | |
struct | taskpool |
Structure : Taskpool. More... | |
struct | State_Bis |
Structure : State. More... | |
struct | Trajectorie |
Structure : Trajectorie. More... | |
struct | Traj |
Structure : Traj. More... | |
struct | Trajpool |
Structure : Trajpool. More... | |
struct | Interval_Bis |
Structure : Interval_Bis. More... | |
Macros | |
#define | myVersion 1.0 |
#define | PSI_H |
#define | ALGO_MONOTONE 1 |
#define | ALGO_NONMONOTONE 2 |
Typedefs | |
typedef struct st_evt | T_event |
Event. More... | |
typedef struct st_events | T_events |
Events. More... | |
typedef struct st_queues | T_queues |
Queues. More... | |
typedef struct st_model | T_model |
Model. More... | |
typedef struct st_output | T_output |
Output. More... | |
typedef struct st_state | T_state |
State. More... | |
typedef struct elem | elements |
Elements. More... | |
typedef T_state *(* | T_ptr_transfct )(T_state *state, T_event *evt) |
Pointer of transition function. More... | |
typedef short int(* | T_ptr_rewardfct )(T_state *states, int log2temps_arret, int *reward, int *state_saved) |
Pointer of reward function. More... | |
typedef short int(* | T_ptr_stopfct )() |
Pointer of stop function. More... | |
typedef double(* | T_ptr_indexfct )() |
Pointer of index function. More... | |
typedef void(* | T_ptr_outputfct )() |
Pointer of output function. More... | |
typedef int(* | T_ptr_splitfct )() |
Pointer of split function. More... | |
typedef T_state *(* | T_ptr_splitInitfct )(T_state *state, int size) |
Pointer of initialize split function. More... | |
typedef T_state *(* | T_ptr_envelop )() |
Pointer of envelop function. More... | |
typedef struct interval | T_interval |
Structure : Intervals in which the global trajectory is decomposed. More... | |
typedef struct task_data | T_task_data |
Structure : Data of a task. More... | |
typedef struct a_task | T_task |
Structure : an element of a linked list of tasks with linkage in double direction. More... | |
typedef struct taskpool | T_task_pool |
Structure : Taskpool. More... | |
typedef T_task *(* | T_ptr_taskpopfct )(T_task_pool *taskpool) |
Pointer of task popping function. More... | |
typedef struct State_Bis | T_State_Bis |
Structure : State. More... | |
typedef struct Trajectorie | T_Trajectorie |
Structure : Trajectorie. More... | |
typedef struct Traj | T_Traj |
Structure : Traj. More... | |
typedef struct Trajpool | T_Trajpool |
Structure : Trajpool. More... | |
typedef struct Interval_Bis | T_Interval_Bis |
Structure : Interval_Bis. More... | |
Define global data structures : Model and function pointers.
typedef struct interval T_interval |
Structure : Intervals in which the global trajectory is decomposed.
typedef struct Interval_Bis T_Interval_Bis |
Structure : Interval_Bis.
Intervals in which the local trajectory is decomposed
typedef T_state*(* T_ptr_envelop)() |
Pointer of envelop function.
Pointer of output function
typedef double(* T_ptr_indexfct)() |
Pointer of index function.
Pointer of index function
typedef void(* T_ptr_outputfct)() |
Pointer of output function.
Pointer of output function
typedef short int(* T_ptr_rewardfct)(T_state *states, int log2temps_arret, int *reward, int *state_saved) |
Pointer of reward function.
Pointer of reward function
typedef int(* T_ptr_splitfct)() |
Pointer of split function.
Pointer of output function
Pointer of initialize split function.
Pointer of output function
typedef short int(* T_ptr_stopfct)() |
Pointer of stop function.
Pointer of stop function
typedef T_task*(* T_ptr_taskpopfct)(T_task_pool *taskpool) |
Pointer of task popping function.
Pointer of task popping function
Pointer of transition function.
Pointer of transition function
State.
Generic structure to represent state in different algorithms.
typedef struct State_Bis T_State_Bis |
Structure : State.
Linked list of state claculed by each core at a moment
Structure : an element of a linked list of tasks with linkage in double direction.
typedef struct task_data T_task_data |
Structure : Data of a task.
typedef struct taskpool T_task_pool |
Structure : Taskpool.
typedef struct Trajectorie T_Trajectorie |
Structure : Trajectorie.
Linked list of states who do the core's trajectorie
typedef struct Trajpool T_Trajpool |
Structure : Trajpool.
double linked list to keep in global memory trajectories ever calcul by core