Home
last modified time | relevance | path

Searched refs:m_ism (Results 1 – 8 of 8) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/nlsat/
H A Dnlsat_evaluator.cpp31 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 Dnlsat_solver.cpp100 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 Dnlsat_evaluator.cpp31 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 Dnlsat_solver.cpp100 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 Dsega_scu.cpp197 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 Dsega_scu.h78 uint32_t m_ism; variable
/dports/emulators/mame/mame-mame0226/src/devices/machine/
H A Dsega_scu.cpp197 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 Dsega_scu.h78 uint32_t m_ism; variable