Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Dmaxmin1.cc75 bool max_included = false; in test02() local
84 bool ok = ps.maximize(LE, max_n, max_d, max_included) in test02()
85 && max_n == 14 && max_d == 1 && !max_included; in test02()
86 ok = ok && ps.maximize(LE, max_n, max_d, max_included, max_g) in test02()
87 && max_n == 14 && max_d == 1 && !max_included in test02()
104 ok = ps.maximize(LE, max_n, max_d, max_included) in test02()
105 && max_n == 14 && max_d == 1 && max_included; in test02()
106 ok = ok && ps.maximize(LE, max_n, max_d, max_included, max_g) in test02()
107 && max_n == 14 && max_d == 1 && max_included in test02()
/dports/lang/spidermonkey60/firefox-60.9.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py528 max_included=True, msg=None): argument
532 self.max_included = max_included
544 if self.max_included:
558 self.max_included,
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py528 max_included=True, msg=None): argument
532 self.max_included = max_included
544 if self.max_included:
558 self.max_included,
/dports/www/firefox/firefox-99.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py583 max_included=True, msg=None): argument
587 self.max_included = max_included
600 if self.max_included:
620 self.max_included,
/dports/devel/py-voluptuous/voluptuous-0.12.2/voluptuous/
H A Dvalidators.py583 max_included=True, msg=None): argument
587 self.max_included = max_included
600 if self.max_included:
620 self.max_included,
/dports/mail/thunderbird/thunderbird-91.8.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py583 max_included=True, msg=None): argument
587 self.max_included = max_included
600 if self.max_included:
620 self.max_included,
/dports/www/firefox-esr/firefox-91.8.0/third_party/python/voluptuous/voluptuous/
H A Dvalidators.py583 max_included=True, msg=None): argument
587 self.max_included = max_included
600 if self.max_included:
620 self.max_included,
/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_templates.hh563 bool max_included; in shrink_to_congruence_no_check() local
566 if (d2.maximize(e, max_numer, max_denom, max_included)) { in shrink_to_congruence_no_check()
583 || (max_numer - min_numer == mod2 && (!max_included || !min_included))) in shrink_to_congruence_no_check()
590 if (!max_included && shrink_amount == 0) { in shrink_to_congruence_no_check()
H A DBox_templates.hh3297 bool max_included; in bounded_affine_image() local
3302 if (maximize(ub_expr, max_numer, max_denom, max_included)) { in bounded_affine_image()
3322 Relation_Symbol lr = max_included ? LESS_OR_EQUAL : LESS_THAN; in bounded_affine_image()
3341 ? (max_included ? LESS_OR_EQUAL : LESS_THAN) in bounded_affine_image()
3342 : (max_included ? GREATER_OR_EQUAL : GREATER_THAN); in bounded_affine_image()
3718 bool max_included; in generalized_affine_preimage() local
3761 (max_included) in generalized_affine_preimage()
3822 bool max_included; in generalized_affine_image() local
3823 bool max_rhs = maximize(rhs, max_numer, max_denom, max_included); in generalized_affine_image()
3888 Relation_Symbol rel = max_included ? LESS_OR_EQUAL : LESS_THAN; in generalized_affine_image()
[all …]
H A DBD_Shape_templates.hh1451 bool max_included; in relation_with() local
1452 bool bounded_above = maximize(le, max_numer, max_denom, max_included); in relation_with()
1548 bool max_included; in relation_with() local
1552 bool bounded_above = maximize(le, max_numer, max_denom, max_included); in relation_with()
H A DOctagonal_Shape_templates.hh1926 bool max_included; in relation_with() local
1927 bool bounded_above = maximize(le, max_numer, max_denom, max_included); in relation_with()
2035 bool max_included; in relation_with() local
2039 bool bounded_above = maximize(le, max_numer, max_denom, max_included); in relation_with()
H A Dppl.hh.dist72980 bool max_included;
73089 bool max_included;
81998 bool max_included;
82095 bool max_included;
90916 bool max_included;
90960 ? (max_included ? LESS_OR_EQUAL : LESS_THAN)
91337 bool max_included;
91380 (max_included)
91441 bool max_included;
99995 bool max_included;
[all …]
/dports/www/firefox-legacy/firefox-52.8.0esr/python/voluptuous/
H A Dvoluptuous.py1565 max_included=True, msg=None): argument
1569 self.max_included = max_included
1581 if self.max_included:
1595 self.max_included,
/dports/cad/stepcode/stepcode-0.8/data/ap235/
H A DAP235_TC_engineering_properties_schema_20110222.exp7994 xmax_in := max_included(xitv);
8002 ymax_in := max_included(yitv);
8240 a_in := max_included(aitv);
8260 a_in := max_included(aitv);
8579 inn := NOT max_included(aitp);
8682 in1 := max_included(ritp) AND max_included(aitp);
8882 IF max_included(aitp) THEN
9084 …max_included(aitv)) AND max_included(xitv)) AND max_included(yitv) OR (((NOT c_in AND NOT min_incl…
10297 FUNCTION max_included
12438 … IF (bnd1 > bnd2) OR ((bnd1 = bnd2) AND max_included(spc1)) AND NOT max_included(spc2) THEN
[all …]
/dports/cad/stepcode/stepcode-0.8/data/cd242/
H A D242_n2813_mim_lf.exp25420 xmax_in := max_included( xitv );
25428 ymax_in := max_included( yitv );
25669 a_in := max_included( aitv );
25689 a_in := max_included( aitv );
26015 inn := NOT max_included( aitp );
26018 rmax_in := max_included( ritp );
26118 in1 := max_included( ritp ) AND max_included( aitp );
26318 IF max_included( aitp ) THEN
26538 …max_included( aitv ) AND max_included( xitv ) AND ( NOT max_included( yitv ) ) ) OR ( ( NOT c_in )…
26539 …aitv ) AND ( NOT max_included( aitv ) ) AND ( NOT max_included( xitv ) ) AND max_included( yitv ) …
[all …]
/dports/cad/stepcode/stepcode-0.8/data/STEPTools_merged_schema/
H A Dmodified_step_merged_cad_schema.exp.broken26876 xmax_in := max_included(xitv);
26884 ymax_in := max_included(yitv);
27123 a_in := max_included(aitv);
27143 a_in := max_included(aitv);
27463 inn := NOT max_included(aitp);
27566 in1 := max_included(ritp) AND max_included(aitp);
27766 IF max_included(aitp) THEN
27969 …max_included(aitv)) AND max_included(xitv)) AND max_included(yitv) OR (((NOT c_in AND NOT min_incl…
30005 FUNCTION max_included
33153 … IF (bnd1 > bnd2) OR ((bnd1 = bnd2) AND max_included(spc1)) AND NOT max_included(spc2) THEN
[all …]
/dports/cad/stepcode/stepcode-0.8/data/wip210e3/
H A D210e3_v1_47_mim_lf.exp35288 max_included (spc2)) THEN
35318 NOT max_included (spc1))));
35613 END_FUNCTION; -- max_included
36161 in1 := max_included(ritp) AND max_included(aitp);
36180 in1 := max_included(aitp);
36277 IF max_included(aitp) THEN
36319 in1 := max_included(aitp);
36604 AND max_included(xitv) AND max_included(yitv))
36606 AND max_included(xitv) AND NOT max_included(yitv))
36608 AND NOT max_included(xitv) AND max_included(yitv))
[all …]
/dports/cad/stepcode/stepcode-0.8/data/cd209/
H A Dpart409cdts_wg3n2617mim_lf.exp35056 max_included (spc2)) THEN
35086 NOT max_included (spc1))));
35362 END_FUNCTION; -- max_included
35929 in1 := max_included(ritp) AND max_included(aitp);
35948 in1 := max_included(aitp);
36045 IF max_included(aitp) THEN
36087 in1 := max_included(aitp);
36419 AND max_included(xitv) AND max_included(yitv))
36421 AND max_included(xitv) AND NOT max_included(yitv))
36423 AND NOT max_included(xitv) AND max_included(yitv))
[all …]
/dports/lang/spidermonkey60/firefox-60.9.0/third_party/python/voluptuous/voluptuous/tests/
H A Dtests.py482 max_included=False, msg='number not in range')
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/python/voluptuous/voluptuous/tests/
H A Dtests.py482 max_included=False, msg='number not in range')
/dports/devel/py-voluptuous/voluptuous-0.12.2/voluptuous/tests/
H A Dtests.py506 max_included=False, msg='number not in range')