Home
last modified time | relevance | path

Searched refs:m_in_progress (Results 1 – 9 of 9) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/transforms/
H A Ddl_mk_unbound_compressor.cpp38 m_in_progress.reset(); in reset()
137 m_in_progress.contains(c_info(head_pred, arg_index))) { in try_compress()
148 SASSERT(m_in_progress.contains(ci)); in try_compress()
270 if (m_in_progress.contains(c_info(p->get_decl(), i))) { in add_in_progress_indices()
286 SASSERT(m_in_progress.contains(c_info(t_pred, arg_index))); in decompress_rule()
372 m_in_progress.reset(); in operator ()()
374 m_in_progress.insert(m_todo.back()); in operator ()()
H A Ddl_mk_unbound_compressor.h58 in_progress_table m_in_progress; variable
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/transforms/
H A Ddl_mk_unbound_compressor.cpp38 m_in_progress.reset(); in reset()
137 m_in_progress.contains(c_info(head_pred, arg_index))) { in try_compress()
148 SASSERT(m_in_progress.contains(ci)); in try_compress()
270 if (m_in_progress.contains(c_info(p->get_decl(), i))) { in add_in_progress_indices()
286 SASSERT(m_in_progress.contains(c_info(t_pred, arg_index))); in decompress_rule()
372 m_in_progress.reset(); in operator ()()
374 m_in_progress.insert(m_todo.back()); in operator ()()
H A Ddl_mk_unbound_compressor.h58 in_progress_table m_in_progress;
/dports/games/picmi/picmi-21.12.3/src/gui/
H A Dmainwindow.cpp42 m_key_pos("window/position"), m_in_progress(false), m_mode(Random) in MainWindow()
176 if (m_in_progress) { in hint()
254 m_in_progress = true; in startGame()
316 m_in_progress = false; in gameCompleted()
344 if (m_action_pause->isChecked() || !m_in_progress) { in pauseGame()
H A Dmainwindow.h100 bool m_in_progress; variable
/dports/devel/sobjectizer/sobjectizer-v.5.7.2.5/dev/so_5/
H A Dagent.hpp3099 bool m_in_progress; in transfer_to_state() member
3108 , m_in_progress( false ) in transfer_to_state()
3122 if( op_state->m_in_progress ) in transfer_to_state()
3131 op_state->m_in_progress = true; in transfer_to_state()
3133 op_state->m_in_progress = false; in transfer_to_state()
/dports/games/freeorion/freeorion-0.4.10.2/UI/
H A DResearchWnd.cpp59 bool m_in_progress; member in __anon93ac00580111::QueueTechPanel
133 m_in_progress(turn_spending), in QueueTechPanel()
154 GG::Clr clr = m_in_progress in QueueTechPanel()
185 if (m_in_progress) in QueueTechPanel()
234 …GG::Clr fill = m_in_progress ? GG::LightenClr(ClientUI::ResearchableTechFillColor()) : ClientUI::R… in Render()
235 …GG::Clr text_and_border = m_in_progress ? GG::LightenClr(ClientUI::ResearchableTechTextAndBorderCo… in Render()
H A DProductionWnd.cpp225 bool m_in_progress = false; member in __anonabd8f7920111::QueueProductionItemPanel
415 m_in_progress(build.allocated_pp || build.turns_left_to_next_item == 1), in QueueProductionItemPanel()
426 GG::Clr clr = m_in_progress in CompleteConstruction()
476 … elem, GG::X1, GG::Y(MARGIN), GG::Y(FONT_PTS-2*MARGIN), m_in_progress, GG::X(FONT_PTS*2.5), false); in CompleteConstruction()
478 … elem, GG::X1, GG::Y(MARGIN), GG::Y(FONT_PTS-2*MARGIN), m_in_progress, GG::X(FONT_PTS*2.5), true); in CompleteConstruction()
509 if (m_in_progress) in CompleteConstruction()
634 GG::Clr fill = m_in_progress in Render()
637 GG::Clr text_and_border = m_in_progress in Render()