xbt_automaton_propositional_symbol Struct Reference

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...

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:

• src/xbt/automaton/automaton.c