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 D | dl_mk_unbound_compressor.cpp | 38 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 D | dl_mk_unbound_compressor.h | 58 in_progress_table m_in_progress; variable
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/transforms/ |
H A D | dl_mk_unbound_compressor.cpp | 38 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 D | dl_mk_unbound_compressor.h | 58 in_progress_table m_in_progress;
|
/dports/games/picmi/picmi-21.12.3/src/gui/ |
H A D | mainwindow.cpp | 42 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 D | mainwindow.h | 100 bool m_in_progress; variable
|
/dports/devel/sobjectizer/sobjectizer-v.5.7.2.5/dev/so_5/ |
H A D | agent.hpp | 3099 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 D | ResearchWnd.cpp | 59 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 D | ProductionWnd.cpp | 225 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()
|