Lines Matching full:s4
68 S4, enumerator
119 __set_bit(S4, mon->states); in ltl_start()
170 __set_bit(S4, next); in ltl_possible_next_states()
182 __set_bit(S4, next); in ltl_possible_next_states()
196 __set_bit(S4, next); in ltl_possible_next_states()
208 __set_bit(S4, next); in ltl_possible_next_states()
212 case S4: in ltl_possible_next_states()
218 __set_bit(S4, next); in ltl_possible_next_states()
228 __set_bit(S4, next); in ltl_possible_next_states()
240 __set_bit(S4, next); in ltl_possible_next_states()
252 __set_bit(S4, next); in ltl_possible_next_states()