Home
last modified time | relevance | path

Searched refs:void_register (Results 1 – 6 of 6) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Ddl_compiler.cpp138 SASSERT(r != execution_context::void_register); in get_register()
164 if(r!=execution_context::void_register) { in make_dealloc_non_void()
178 if(src==execution_context::void_register) { in make_add_constant_column()
208 if(src == execution_context::void_register) { in make_add_unbound_column()
282 if(curr!=execution_context::void_register) { in make_assembling_code()
393 if(curr==execution_context::void_register) { in make_assembling_code()
394 SASSERT(src==execution_context::void_register); in make_assembling_code()
546 single_res=execution_context::void_register; in compile_rule_evaluation_run()
1032 d_head_reg = execution_context::void_register; in compile_preds()
1051 reg_idx void_reg = execution_context::void_register; in compile_preds_init()
[all …]
H A Ddl_instruction.cpp656 if (m_delta!=execution_context::void_register && !ctx.reg(m_delta)) { in perform()
660 …relation_base * r_delta = (m_delta!=execution_context::void_register) ? ctx.reg(m_delta) : nullptr; in perform()
724 if (m_delta != execution_context::void_register) { in make_annotations()
731 if (m_delta!=execution_context::void_register) { in display_head_impl()
H A Ddl_instruction.h57 static const reg_idx void_register = UINT_MAX; variable
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/
H A Ddl_compiler.cpp138 SASSERT(r != execution_context::void_register); in get_register()
164 if(r!=execution_context::void_register) { in make_dealloc_non_void()
178 if(src==execution_context::void_register) { in make_add_constant_column()
208 if(src == execution_context::void_register) { in make_add_unbound_column()
282 if(curr!=execution_context::void_register) { in make_assembling_code()
393 if(curr==execution_context::void_register) { in make_assembling_code()
394 SASSERT(src==execution_context::void_register); in make_assembling_code()
546 single_res=execution_context::void_register; in compile_rule_evaluation_run()
1033 d_head_reg = execution_context::void_register; in compile_preds()
1052 reg_idx void_reg = execution_context::void_register; in compile_preds_init()
[all …]
H A Ddl_instruction.cpp656 if (m_delta!=execution_context::void_register && !ctx.reg(m_delta)) { in perform()
660 …relation_base * r_delta = (m_delta!=execution_context::void_register) ? ctx.reg(m_delta) : nullptr; in perform()
724 if (m_delta != execution_context::void_register) { in make_annotations()
731 if (m_delta!=execution_context::void_register) { in display_head_impl()
H A Ddl_instruction.h57 static const reg_idx void_register = UINT_MAX; variable