Searched refs:mc_rvalue (Results 1 – 16 of 16) sorted by relevance
131 SPOT_API const mc_rvalue operator|(const mc_rvalue& lhs, const mc_rvalue& rhs) in operator |()134 if (lhs == mc_rvalue::DEADLOCK && rhs == mc_rvalue::DEADLOCK) in operator |()139 (lhs == mc_rvalue::NO_DEADLOCK && rhs == mc_rvalue::DEADLOCK)) in operator |()143 if (lhs == mc_rvalue::EMPTY && rhs == mc_rvalue::EMPTY) in operator |()145 if (lhs == mc_rvalue::NOT_EMPTY && rhs == mc_rvalue::NOT_EMPTY) in operator |()147 if ((lhs == mc_rvalue::EMPTY && rhs == mc_rvalue::NOT_EMPTY) || in operator |()148 (lhs == mc_rvalue::NOT_EMPTY && rhs == mc_rvalue::EMPTY)) in operator |()152 if (lhs == mc_rvalue::FAILURE && rhs == mc_rvalue::FAILURE) in operator |()154 if (lhs == mc_rvalue::SUCCESS && rhs == mc_rvalue::SUCCESS) in operator |()156 if ((lhs == mc_rvalue::FAILURE && rhs == mc_rvalue::SUCCESS) || in operator |()[all …]
64 std::is_same<mc_rvalue, decltype(u->result())>::value &&180 case mc_rvalue::DEADLOCK: in instanciate()181 case mc_rvalue::NOT_EMPTY: in instanciate()187 case mc_rvalue::NO_DEADLOCK: in instanciate()188 case mc_rvalue::EMPTY: in instanciate()189 case mc_rvalue::SUCCESS: in instanciate()190 case mc_rvalue::FAILURE: in instanciate()
265 mc_rvalue result() in result()268 return deadlock_ ? mc_rvalue::DEADLOCK : mc_rvalue::NO_DEADLOCK; in result()269 return mc_rvalue::SUCCESS; in result()
278 mc_rvalue result() in result()280 return !found_ ? mc_rvalue::EMPTY : mc_rvalue::NOT_EMPTY; in result()
277 mc_rvalue result() in result()279 return is_empty_ ? mc_rvalue::EMPTY : mc_rvalue::NOT_EMPTY; in result()
632 mc_rvalue result() in result()634 return is_empty_ ? mc_rvalue::EMPTY : mc_rvalue::NOT_EMPTY; in result()
552 mc_rvalue result() in result()554 return mc_rvalue::SUCCESS; in result()
546 [&](spot::mc_rvalue n) { rval = rval | n; }); in checked_main()548 if (rval == spot::mc_rvalue::NO_DEADLOCK || in checked_main()549 rval == spot::mc_rvalue::EMPTY || in checked_main()550 rval == spot::mc_rvalue::SUCCESS) in checked_main()