Searched refs:LTL_NUM_ATOM (Results 1 – 3 of 3) sorted by relevance
17 LTL_NUM_ATOM enumerator19 static_assert(LTL_NUM_ATOM <= RV_MAX_LTL_ATOM);
38 for (int i = 0; i < LTL_NUM_ATOM; ++i) in ltl_task_init()120 for (i = 0; i < LTL_NUM_ATOM; ++i) { in ltl_trace_event()
33 LTL_NUM_ATOM enumerator35 static_assert(LTL_NUM_ATOM <= RV_MAX_LTL_ATOM);