Home
last modified time | relevance | path

Searched refs:min_included (Results 1 – 21 of 21) sorted by relevance

/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Dmaxmin1.cc255 bool min_included = false; in test06() local
265 bool ok = ps.minimize(LE, min_n, min_d, min_included) in test06()
266 && min_n == 3 && min_d == 2 && !min_included; in test06()
267 ok = ok && ps.minimize(LE, min_n, min_d, min_included, min_g) in test06()
268 && min_n == 3 && min_d == 2 && !min_included in test06()
285 ok = ps.minimize(LE, min_n, min_d, min_included) in test06()
286 && min_n == 3 && min_d == 2 && min_included; in test06()
287 ok = ok && ps.minimize(LE, min_n, min_d, min_included, min_g) in test06()
288 && min_n == 3 && min_d == 2 && min_included in test06()
/dports/lang/spidermonkey60/firefox-60.9.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py527 def __init__(self, min=None, max=None, min_included=True, argument
531 self.min_included = min_included
536 if self.min_included:
557 self.min_included,
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py527 def __init__(self, min=None, max=None, min_included=True, argument
531 self.min_included = min_included
536 if self.min_included:
557 self.min_included,
/dports/www/firefox/firefox-99.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py582 def __init__(self, min=None, max=None, min_included=True, argument
586 self.min_included = min_included
592 if self.min_included:
619 self.min_included,
/dports/devel/py-voluptuous/voluptuous-0.12.2/voluptuous/
H A Dvalidators.py582 def __init__(self, min=None, max=None, min_included=True, argument
586 self.min_included = min_included
592 if self.min_included:
619 self.min_included,
/dports/mail/thunderbird/thunderbird-91.8.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py582 def __init__(self, min=None, max=None, min_included=True, argument
586 self.min_included = min_included
592 if self.min_included:
619 self.min_included,
/dports/www/firefox-esr/firefox-91.8.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py582 def __init__(self, min=None, max=None, min_included=True, argument
586 self.min_included = min_included
592 if self.min_included:
619 self.min_included,
/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_templates.hh567 bool min_included; in shrink_to_congruence_no_check() local
568 if (d2.minimize(e, min_numer, min_denom, min_included)) { in shrink_to_congruence_no_check()
583 || (max_numer - min_numer == mod2 && (!max_included || !min_included))) in shrink_to_congruence_no_check()
599 if (!min_included && shrink_amount == 0) { in shrink_to_congruence_no_check()
H A DBox_templates.hh3300 bool min_included; in bounded_affine_image() local
3303 if (minimize(lb_expr, min_numer, min_denom, min_included)) { in bounded_affine_image()
3327 Relation_Symbol lr = min_included ? LESS_OR_EQUAL : LESS_THAN; in bounded_affine_image()
3346 else if (minimize(lb_expr, min_numer, min_denom, min_included)) { in bounded_affine_image()
3357 ? (min_included ? GREATER_OR_EQUAL : GREATER_THAN) in bounded_affine_image()
3358 : (min_included ? LESS_OR_EQUAL : LESS_THAN); in bounded_affine_image()
3722 bool min_included; in generalized_affine_preimage() local
3754 (min_included) in generalized_affine_preimage()
3826 bool min_included; in generalized_affine_image() local
3827 bool min_rhs = minimize(rhs, min_numer, min_denom, min_included); in generalized_affine_image()
[all …]
H A DBD_Shape_templates.hh1435 bool min_included; in relation_with() local
1436 bool bounded_below = minimize(le, min_numer, min_denom, min_included); in relation_with()
1551 bool min_included; in relation_with() local
1553 bool bounded_below = minimize(le, min_numer, min_denom, min_included); in relation_with()
H A DOctagonal_Shape_templates.hh1909 bool min_included; in relation_with() local
1910 bool bounded_below = minimize(le, min_numer, min_denom, min_included); in relation_with()
2038 bool min_included; in relation_with() local
2040 bool bounded_below = minimize(le, min_numer, min_denom, min_included); in relation_with()
H A Dppl.hh.dist72963 bool min_included;
73092 bool min_included;
81982 bool min_included;
82098 bool min_included;
90919 bool min_included;
90977 : (min_included ? LESS_OR_EQUAL : LESS_THAN);
91341 bool min_included;
91373 (min_included)
91445 bool min_included;
99999 bool min_included;
[all …]
/dports/www/firefox-legacy/firefox-52.8.0esr/python/voluptuous/
H A Dvoluptuous.py1564 def __init__(self, min=None, max=None, min_included=True, argument
1568 self.min_included = min_included
1573 if self.min_included:
1594 self.min_included,
/dports/cad/stepcode/stepcode-0.8/data/ap235/
H A DAP235_TC_engineering_properties_schema_20110222.exp7990 xmin_in := min_included(xitv);
7998 ymin_in := min_included(yitv);
8263 a_in := min_included(aitv);
8703 in3 := min_included(ritp) AND min_included(aitp);
8715 in2 := min_included(ritp);
8719 in0 := min_included(aitp);
8933 in3 := min_included(ritp) AND min_included(aitp);
9078 …min_included(aitv)) AND max_included(aitv)) AND min_included(xitv)) AND min_included(yitv) OR (((N…
10574 FUNCTION min_included
12431 … IF (bnd1 < bnd2) OR ((bnd1 = bnd2) AND min_included(spc1)) AND NOT min_included(spc2) THEN
[all …]
/dports/cad/stepcode/stepcode-0.8/data/cd242/
H A D242_n2813_mim_lf.exp25416 xmin_in := min_included( xitv );
25424 ymin_in := min_included( yitv );
25692 a_in := min_included( aitv );
26139 in3 := min_included( ritp ) AND min_included( aitp );
26151 in2 := min_included( ritp );
26155 in0 := min_included( aitp );
26369 in3 := min_included( ritp ) AND min_included( aitp );
26377 in2 := min_included( ritp );
26519 …AND min_included( xitv ) AND min_included( yitv ) ) OR ( ( NOT c_in ) AND ( NOT min_included( aitv…
26520 …max_included( aitv ) AND min_included( xitv ) AND ( NOT min_included( yitv ) ) ) OR ( ( NOT c_in )…
[all …]
/dports/cad/stepcode/stepcode-0.8/data/STEPTools_merged_schema/
H A Dmodified_step_merged_cad_schema.exp.broken26872 xmin_in := min_included(xitv);
26880 ymin_in := min_included(yitv);
27146 a_in := min_included(aitv);
27587 in3 := min_included(ritp) AND min_included(aitp);
27599 in2 := min_included(ritp);
27603 in0 := min_included(aitp);
27817 in3 := min_included(ritp) AND min_included(aitp);
27963 …min_included(aitv)) AND max_included(aitv)) AND min_included(xitv)) AND min_included(yitv) OR (((N…
30285 FUNCTION min_included
33146 … IF (bnd1 < bnd2) OR ((bnd1 = bnd2) AND min_included(spc1)) AND NOT min_included(spc2) THEN
[all …]
/dports/cad/stepcode/stepcode-0.8/data/wip210e3/
H A D210e3_v1_47_mim_lf.exp35280 min_included (spc2)) THEN
35305 NOT min_included (spc1))));
35575 END_FUNCTION; -- min_included
36172 in3 := min_included(ritp) AND min_included(aitp);
36177 in0 := min_included(aitp);
36312 in3 := min_included(ritp) AND min_included(aitp);
36316 in0 := min_included(aitp);
36580 AND min_included(xitv) AND min_included(yitv))
36582 AND min_included(xitv) AND NOT min_included(yitv))
36584 AND NOT min_included(xitv) AND min_included(yitv))
[all …]
/dports/cad/stepcode/stepcode-0.8/data/cd209/
H A Dpart409cdts_wg3n2617mim_lf.exp35048 min_included (spc2)) THEN
35073 NOT min_included (spc1))));
35313 END_FUNCTION; -- min_included
35940 in3 := min_included(ritp) AND min_included(aitp);
35945 in0 := min_included(aitp);
36080 in3 := min_included(ritp) AND min_included(aitp);
36084 in0 := min_included(aitp);
36395 AND min_included(xitv) AND min_included(yitv))
36397 AND min_included(xitv) AND NOT min_included(yitv))
36399 AND NOT min_included(xitv) AND min_included(yitv))
[all …]
/dports/lang/spidermonkey60/firefox-60.9.0/third_party/python/voluptuous/voluptuous/tests/
H A Dtests.py481 range_ = Range(min=0, max=42, min_included=False,
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/python/voluptuous/voluptuous/tests/
H A Dtests.py481 range_ = Range(min=0, max=42, min_included=False,
/dports/devel/py-voluptuous/voluptuous-0.12.2/voluptuous/tests/
H A Dtests.py505 range_ = Range(min=0, max=42, min_included=False,