SimGrid
3.16
Versatile Simulation of Distributed Systems
|
Public Attributes | |
char * | pred |
int(* | callback )(void *) |
Callback used to evaluate the value of the symbol. More... | |
void * | data |
Additional data for the callback. More... | |
void(* | free_function )(void *) |
Optional callback used to free the data field. More... | |
char* xbt_automaton_propositional_symbol::pred |
int(* xbt_automaton_propositional_symbol::callback) (void *) |
Callback used to evaluate the value of the symbol.
void* xbt_automaton_propositional_symbol::data |
Additional data for the callback.
Alternatively it can be used as a pointer to the data.
Optional callback used to free the data field.