Lines Matching full:s1
65 S1, enumerator
117 __set_bit(S1, mon->states); in ltl_start()
168 __set_bit(S1, next); in ltl_possible_next_states()
174 case S1: in ltl_possible_next_states()
176 __set_bit(S1, next); in ltl_possible_next_states()
190 __set_bit(S1, next); in ltl_possible_next_states()
206 __set_bit(S1, next); in ltl_possible_next_states()
216 __set_bit(S1, next); in ltl_possible_next_states()
226 __set_bit(S1, next); in ltl_possible_next_states()
234 __set_bit(S1, next); in ltl_possible_next_states()
250 __set_bit(S1, next); in ltl_possible_next_states()