Searched refs:do_virtual_multiplicity_by_signed_dec (Results 1 – 3 of 3) sorted by relevance
125 bool do_virtual_multiplicity_by_signed_dec; variable
4020 if(do_integral_by_signed_dec || do_virtual_multiplicity_by_signed_dec){ in compute_multiplicity_or_integral_by_signed_dec()4042 if(do_virtual_multiplicity_by_signed_dec){ in compute_multiplicity_or_integral_by_signed_dec()5203 …o_multiplicity_by_signed_dec || do_integral_by_signed_dec || do_virtual_multiplicity_by_signed_dec; in set_preconditions()7660 do_virtual_multiplicity_by_signed_dec = false; in reset_tasks()
6860 Dual.do_virtual_multiplicity_by_signed_dec=true; in try_signed_dec_inner()