Searched refs:LTL_RT (Results 1 – 1 of 1) 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()