SimGrid  3.14.159
Versatile Simulation of Distributed Systems
xbt_automaton_propositional_symbol Struct Reference

Public Attributes

char * pred
 
int(* callback )(void *)
 Callback used to evaluate the value of the symbol. More...
 
voiddata
 Additional data for the callback. More...
 
void(* free_function )(void *)
 Optional callback used to free the data field. More...
 

Member Data Documentation

§ pred

char* xbt_automaton_propositional_symbol::pred

§ callback

int(* xbt_automaton_propositional_symbol::callback) (void *)

Callback used to evaluate the value of the symbol.

§ data

void* xbt_automaton_propositional_symbol::data

Additional data for the callback.

Alternatively it can be used as a pointer to the data.

§ free_function

void(* xbt_automaton_propositional_symbol::free_function) (void *)

Optional callback used to free the data field.


The documentation for this struct was generated from the following file: