rv_ltl_valid_state (reference) in projects: include

Searched refs:rv_ltl_valid_state (Results 1 – 2 of 2) sorted by relevance

/include/rv/
A D	ltl_monitor.h	`147 if (!rv_ltl_valid_state(mon)) in ltl_validate() 159 if (!rv_ltl_valid_state(mon)) in ltl_validate() 170 if (!rv_ltl_valid_state(mon)) { in ltl_atom_update()`
/include/linux/
A D	rv.h	`58 static inline bool rv_ltl_valid_state(struct ltl_monitor *mon) in rv_ltl_valid_state() function`

Completed in 4 milliseconds