Searched defs:get_init_state_number (Results 1 – 6 of 6) sorted by path
2031 get_init_state_number = _swig_new_instance_method(_impl.twa_graph_get_init_state_number) variable in twa_graph3245 get_init_state_number = _swig_new_instance_method(_impl.kripke_graph_get_init_state_number) variable in kripke_graph
208 state_num get_init_state_number() const in get_init_state_number() function in spot::kripke_graph
316 state_num get_init_state_number() const in get_init_state_number() function in spot::twa_graph