Home
last modified time | relevance | path

Searched refs:m_eliminated (Results 1 – 20 of 20) sorted by relevance

/dports/games/freeorion/freeorion-0.4.10.2/util/
H A DMultiplayerCommon.h120 m_eliminated(false), in SaveGameEmpireData()
131 m_eliminated(eliminated), in SaveGameEmpireData()
141 bool m_eliminated; member
H A DSerializeMultiplayerCommon.cpp173 ar & BOOST_SERIALIZATION_NVP(m_eliminated); in serialize()
H A DSerializeEmpire.cpp135 & BOOST_SERIALIZATION_NVP(m_eliminated) in serialize()
/dports/games/supertuxkart/SuperTuxKart-1.2-src/src/karts/
H A Dkart.hpp184 bool m_eliminated; member in Kart
564 virtual bool isEliminated() const OVERRIDE { return m_eliminated; } in isEliminated()
H A Dkart_rewinder.cpp167 if (m_eliminated) in saveState()
455 if (m_eliminated) in getLocalStateRestoreFunction()
H A Dkart.cpp364 m_eliminated = false; in reset()
1001 if (is_linear_race && m_controller->isPlayerController() && !m_eliminated) in finishedRace()
1041 if (m_eliminated || isGhostKart()) return; in finishedRace()
1331 m_eliminated = true; in eliminate()
/dports/math/z3/z3-z3-4.8.13/src/sat/
H A Dsat_integrity_checker.cpp136 VERIFY(s.m_eliminated.size() == s.num_vars()); in check_bool_vars()
H A Dsat_elim_vars.cpp95 s.m_eliminated[v] = true; in elim_var()
H A Dsat_solver.h134 bool_vector m_eliminated; variable
368 bool was_eliminated(bool_var v) const { return m_eliminated[v]; } in was_eliminated()
H A Dsat_solver.cpp129 m_eliminated.reset(); in copy()
261 m_eliminated[v] = false; in reset_var()
300 m_eliminated.push_back(false); in mk_var()
332 if (m_eliminated[v] == f) in set_eliminated()
338 m_eliminated[v] = f; in set_eliminated()
3587 m_eliminated.shrink(v); in shrink_vars()
4718 if (m_eliminated[v]) in display_status()
H A Dsat_simplifier.cpp227 if (!s.m_eliminated[v] && !is_external(v)) { in operator ()()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_integrity_checker.cpp136 VERIFY(s.m_eliminated.size() == s.num_vars()); in check_bool_vars()
H A Dsat_elim_vars.cpp95 s.m_eliminated[v] = true; in elim_var()
H A Dsat_solver.h126 bool_vector m_eliminated; variable
352 bool was_eliminated(bool_var v) const { return m_eliminated[v]; } in was_eliminated()
H A Dsat_solver.cpp129 m_eliminated.reset();
260 m_eliminated[v] = false;
299 m_eliminated.push_back(false);
331 if (m_eliminated[v] && !f)
333 m_eliminated[v] = f;
3546 m_eliminated.shrink(v);
4666 if (m_eliminated[v])
H A Dsat_simplifier.cpp227 if (!s.m_eliminated[v] && !is_external(v)) { in operator ()()
/dports/games/freeorion/freeorion-0.4.10.2/Empire/
H A DEmpire.cpp63 m_eliminated = false; in Init()
98 if (m_eliminated) in Source()
600 return m_eliminated; in Eliminated()
604 m_eliminated = true; in Eliminate()
H A DEmpire.h451 bool m_eliminated = false; ///< Whether the empire has lost variable
/dports/games/freeorion/freeorion-0.4.10.2/server/
H A DServerFSM.cpp943 if (!empire_data.second.m_eliminated) in ValidateClientLimits()
1488 if (empire_it->second.m_eliminated) { in react()
1632 if (empire_it->second.m_eliminated) { in react()
/dports/games/freeorion/freeorion-0.4.10.2/UI/
H A DMultiplayerLobbyWnd.cpp411 if (it->second.m_eliminated) in CompleteConstruction()