Searched defs:ltl_possible_next_states (Results 1 – 2 of 2) sorted by relevance
50 ltl_possible_next_states(struct ltl_monitor *mon, unsigned int state, unsigned long *next) in ltl_possible_next_states() function
125 ltl_possible_next_states(struct ltl_monitor *mon, unsigned int state, unsigned long *next) in ltl_possible_next_states() function