Searched refs:m_ism (Results 1 – 8 of 8) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/nlsat/ |
H A D | nlsat_evaluator.cpp | 31 interval_set_manager m_ism; member 368 m_ism(m_am, allocator), in imp() 506 interval_set_ref result(m_ism); in infeasible_intervals() 507 interval_set_ref set(m_ism); in infeasible_intervals() 547 result = m_ism.mk_union(result, set); in infeasible_intervals() 587 result = m_ism.mk_union(result, set); in infeasible_intervals() 607 interval_set_ref result(m_ism); in infeasible_intervals() 613 result = m_ism.mk_empty(); in infeasible_intervals() 627 interval_set_ref s1(m_ism), s2(m_ism); in infeasible_intervals() 630 result = m_ism.mk_union(s1, s2); in infeasible_intervals() [all …]
|
H A D | nlsat_solver.cpp | 100 interval_set_manager & m_ism; member 233 m_ism(m_evaluator.ism()), in imp() 275 m_ism.set_seed(m_random_seed); in updt_params() 999 m_ism.dec_ref(m_infeasible[x]); in undo_set_updt() 1268 interval_set_ref new_set(m_ism); in updt_infeasible() 1272 SASSERT(!m_ism.is_full(new_set)); in updt_infeasible() 1273 m_ism.inc_ref(new_set); in updt_infeasible() 1327 SASSERT(!m_ism.is_full(xk_set)); in process_arith_clause() 1353 if (m_ism.is_full(curr_set)) { in process_arith_clause() 1363 interval_set_ref tmp(m_ism); in process_arith_clause() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/ |
H A D | nlsat_evaluator.cpp | 31 interval_set_manager m_ism; member 368 m_ism(m_am, allocator), in imp() 506 interval_set_ref result(m_ism); in infeasible_intervals() 507 interval_set_ref set(m_ism); in infeasible_intervals() 547 result = m_ism.mk_union(result, set); in infeasible_intervals() 587 result = m_ism.mk_union(result, set); in infeasible_intervals() 607 interval_set_ref result(m_ism); in infeasible_intervals() 613 result = m_ism.mk_empty(); in infeasible_intervals() 627 interval_set_ref s1(m_ism), s2(m_ism); in infeasible_intervals() 630 result = m_ism.mk_union(s1, s2); in infeasible_intervals() [all …]
|
H A D | nlsat_solver.cpp | 100 interval_set_manager & m_ism; member 233 m_ism(m_evaluator.ism()), in imp() 275 m_ism.set_seed(m_random_seed); in updt_params() 999 m_ism.dec_ref(m_infeasible[x]); in undo_set_updt() 1268 interval_set_ref new_set(m_ism); in updt_infeasible() 1272 SASSERT(!m_ism.is_full(new_set)); in updt_infeasible() 1273 m_ism.inc_ref(new_set); in updt_infeasible() 1327 SASSERT(!m_ism.is_full(xk_set)); in process_arith_clause() 1353 if (m_ism.is_full(curr_set)) { in process_arith_clause() 1363 interval_set_ref tmp(m_ism); in process_arith_clause() [all …]
|
/dports/emulators/mess/mame-mame0226/src/devices/machine/ |
H A D | sega_scu.cpp | 197 save_item(NAME(m_ism)); in device_start() 250 m_ism = 0xbfff; in device_reset() 286 if(!(m_ism & irqmask)) in device_timer() 402 if(!(m_ism & IRQ_DMAILL)) in handle_dma_direct() 621 if(!(m_ism & IRQ_TIMER_0)) in check_scanline_timers() 636 if(!(m_ism & IRQ_TIMER_1)) in check_scanline_timers() 654 return m_ism; in irq_mask_r() 664 COMBINE_DATA(&m_ism); in irq_mask_w() 750 if(!(m_ism & IRQ_VDP1_END)) in WRITE_LINE_MEMBER() 778 if(!(m_ism & IRQ_SMPC)) in WRITE_LINE_MEMBER() [all …]
|
H A D | sega_scu.h | 78 uint32_t m_ism; variable
|
/dports/emulators/mame/mame-mame0226/src/devices/machine/ |
H A D | sega_scu.cpp | 197 save_item(NAME(m_ism)); in device_start() 250 m_ism = 0xbfff; in device_reset() 286 if(!(m_ism & irqmask)) in device_timer() 402 if(!(m_ism & IRQ_DMAILL)) in handle_dma_direct() 621 if(!(m_ism & IRQ_TIMER_0)) in check_scanline_timers() 636 if(!(m_ism & IRQ_TIMER_1)) in check_scanline_timers() 654 return m_ism; in irq_mask_r() 664 COMBINE_DATA(&m_ism); in irq_mask_w() 750 if(!(m_ism & IRQ_VDP1_END)) in WRITE_LINE_MEMBER() 778 if(!(m_ism & IRQ_SMPC)) in WRITE_LINE_MEMBER() [all …]
|
H A D | sega_scu.h | 78 uint32_t m_ism; variable
|