Searched refs:LTL_RT (Results 1 – 2 of 2) sorted by relevance
16 LTL_RT, enumerator41 bool rt = test_bit(LTL_RT, mon->atoms); in ltl_start()54 bool rt = test_bit(LTL_RT, mon->atoms); in ltl_possible_next_states()
29 ltl_atom_set(mon, LTL_RT, rt_or_dl_task(task)); in ltl_atoms_fetch()