|
lt_dlhandle | handle |
|
void(* | get_initial_state )(void *to) |
|
int(* | have_property )() |
|
int(* | get_successors )(void *m, int *in, TransitionCB, void *arg) |
|
int(* | get_state_size )() |
|
const char *(* | get_state_variable_name )(int var) |
|
int(* | get_state_variable_type )(int var) |
|
int(* | get_type_count )() |
|
const char *(* | get_type_name )(int type) |
|
int(* | get_type_value_count )(int type) |
|
const char *(* | get_type_value_name )(int type, int value) |
|
The documentation for this struct was generated from the following file: