SimGrid
3.14.159
Versatile Simulation of Distributed Systems
|
This is the API used by the user simulated program to communicate with the MC. More...
Macros | |
#define | MC_is_active() 0 |
#define | MC_visited_reduction() 0 |
#define | MC_assert(a) xbt_assert(a) |
#define | MC_automaton_new_propositional_symbol(a, b) ((void)0) |
#define | MC_automaton_new_propositional_symbol_pointer(a, b) ((void)0) |
#define | MC_cut() ((void)0) |
#define | MC_ignore(a, b) ((void)0) |
Functions | |
int | MC_random (int min, int max) |
This is the API used by the user simulated program to communicate with the MC.
#define MC_is_active | ( | ) | 0 |
#define MC_visited_reduction | ( | ) | 0 |
#define MC_assert | ( | a | ) | xbt_assert(a) |
#define MC_automaton_new_propositional_symbol | ( | a, | |
b | |||
) | ((void)0) |
#define MC_automaton_new_propositional_symbol_pointer | ( | a, | |
b | |||
) | ((void)0) |
#define MC_cut | ( | ) | ((void)0) |
#define MC_ignore | ( | a, | |
b | |||
) | ((void)0) |
int MC_random | ( | int | min, |
int | max | ||
) |