Lines Matching full:next
125 ltl_possible_next_states(struct ltl_monitor *mon, unsigned int state, unsigned long *next) in ltl_possible_next_states() argument
166 __set_bit(S0, next); in ltl_possible_next_states()
168 __set_bit(S1, next); in ltl_possible_next_states()
170 __set_bit(S4, next); in ltl_possible_next_states()
172 __set_bit(S5, next); in ltl_possible_next_states()
176 __set_bit(S1, next); in ltl_possible_next_states()
178 __set_bit(S2, next); in ltl_possible_next_states()
180 __set_bit(S3, next); in ltl_possible_next_states()
182 __set_bit(S4, next); in ltl_possible_next_states()
184 __set_bit(S6, next); in ltl_possible_next_states()
186 __set_bit(S7, next); in ltl_possible_next_states()
190 __set_bit(S1, next); in ltl_possible_next_states()
192 __set_bit(S2, next); in ltl_possible_next_states()
194 __set_bit(S3, next); in ltl_possible_next_states()
196 __set_bit(S4, next); in ltl_possible_next_states()
198 __set_bit(S6, next); in ltl_possible_next_states()
200 __set_bit(S7, next); in ltl_possible_next_states()
204 __set_bit(S0, next); in ltl_possible_next_states()
206 __set_bit(S1, next); in ltl_possible_next_states()
208 __set_bit(S4, next); in ltl_possible_next_states()
210 __set_bit(S5, next); in ltl_possible_next_states()
214 __set_bit(S0, next); in ltl_possible_next_states()
216 __set_bit(S1, next); in ltl_possible_next_states()
218 __set_bit(S4, next); in ltl_possible_next_states()
220 __set_bit(S5, next); in ltl_possible_next_states()
224 __set_bit(S0, next); in ltl_possible_next_states()
226 __set_bit(S1, next); in ltl_possible_next_states()
228 __set_bit(S4, next); in ltl_possible_next_states()
230 __set_bit(S5, next); in ltl_possible_next_states()
234 __set_bit(S1, next); in ltl_possible_next_states()
236 __set_bit(S2, next); in ltl_possible_next_states()
238 __set_bit(S3, next); in ltl_possible_next_states()
240 __set_bit(S4, next); in ltl_possible_next_states()
242 __set_bit(S6, next); in ltl_possible_next_states()
244 __set_bit(S7, next); in ltl_possible_next_states()
248 __set_bit(S0, next); in ltl_possible_next_states()
250 __set_bit(S1, next); in ltl_possible_next_states()
252 __set_bit(S4, next); in ltl_possible_next_states()
254 __set_bit(S5, next); in ltl_possible_next_states()