spot  2.3.3.dev
Public Attributes | List of all members
spot::spins_interface Struct Reference
Collaboration diagram for spot::spins_interface:
Collaboration graph

Public Attributes

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:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Apr 18 2017 14:42:57 for spot by doxygen 1.8.13