Home
last modified time | relevance | path

Searched refs:disjunct (Results 1 – 25 of 522) sorted by relevance

12345678910>>...21

/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/plugins/
H A Dgdp_var_mover.py50 for disjunct in disjunct_component.values():
51 if (disjunct.active and
52 self._disjunct_not_relaxed(disjunct) and
112 if self._disjunct_not_relaxed(disjunct):
122 def _disjunct_not_fixed_true(self, disjunct): argument
124 return not (disjunct.indicator_var.fixed and
125 disjunct.indicator_var.value)
127 def _disjunct_not_relaxed(self, disjunct): argument
129 return disjunct.transformation_block is None
131 def _disjunct_on_active_block(self, disjunct): argument
[all …]
H A Dhull.py421 for disjunct in obj.disjuncts:
425 disjunct] = ComponentMap()
451 disjunct, localVarsByDisjunct)
503 for disjunct in obj.disjuncts:
505 self._transform_disjunct(disjunct, transBlock, varSet[disjunct],
888 y = disjunct.binary_indicator_var
1023 def _add_local_var_suffix(self, disjunct): argument
1057 def get_disaggregated_var(self, v, disjunct): argument
1071 % disjunct.name)
1075 disjunct][v]
[all …]
H A Dfix_disjuncts.py12 from pyomo.gdp.disjunct import Disjunct, Disjunction
53 for disjunct in obj.component_data_objects(ctype=Disjunct, active=True, descend_into=True):
54 _binary = disjunct.binary_indicator_var
56 disjunct.indicator_var.fix(True)
57 self._transformContainer(disjunct)
59 disjunct.deactivate()
63 % (disjunct.name, value(_binary)))
H A Dbigm.py396 for disjunct in obj.disjuncts:
397 or_expr += disjunct.binary_indicator_var
402 suffix_list = self._get_bigm_suffix_list(disjunct)
403 arg_list = self._get_bigm_arg_list(bigM, disjunct)
490 disjunctBlock = disjunct._transformation_block()
537 handler(obj, disjunct, bigM, arg_list, suffix_list)
575 _warn_for_active_logical_constraint(logical_statment, disjunct,
617 def _transform_constraint(self, obj, disjunct, bigMargs, arg_list, argument
620 transBlock = disjunct._transformation_block()
717 M_expr = M[0] * (1 - disjunct.binary_indicator_var)
[all …]
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/tests/
H A Dmodels.py41 m = disjunct.model()
62 m = disjunct.model()
85 m = disjunct.model()
128 m.disjunction = Disjunction(expr=[m.disjunct[0], m.disjunct[1]])
173 return [m.disjunct[0, s], m.disjunct[1, s], m.disjunct[2, s]]
291 return [m.disjunct[0, s, t], m.disjunct[1, s, t]]
303 def disjunct(disjunct, flag): function
312 return [m.disjunct[0], m.disjunct[1]]
359 return [b.disjunct[0], b.disjunct[1]]
443 expr=[disjunct.innerdisjunct0, disjunct.innerdisjunct1])
[all …]
H A Dtest_bigm.py1150 m.b.BigM[m.b.disjunct[0].c] = 87
1161 m.BigM[m.b.disjunct[0].c] = 87
1258 m.b.disjunct[0].c)
1542 m.BigM[m.disjunct[0].c[1]] = 19
1559 m.BigM[m.disjunct[0].c] = 19
1571 m.BigM[m.disjunct[0].c] = 19
1580 m.BigM[m.disjunct[0].c[1]] = 19
1593 m.BigM[m.disjunct[0].c] = 19
1604 m.BigM[m.disjunct[0].c] = 19
1605 m.BigM[m.disjunct[0].c[1]] = 18
[all …]
H A Dcommon_tests.py103 m.b[0].disjunct[i])
142 for idx in m.disjunct:
153 for idx in m.disjunct:
154 m.disjunct[idx].deactivate()
204 for i in m.disjunct.index_set():
206 self.assertFalse(m.disjunct.active)
258 for i in m.disjunct.index_set():
1236 m.disjunct[2, 'b'].cons_b)
1398 self.assertTrue(m.disjunct.active)
1446 targets=[m.disjunct[1]])
[all …]
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/
H A Dutil.py13 from pyomo.gdp.disjunct import _DisjunctData, Disjunct
356 for disjunct in instance.component_data_objects(
360 if disjunct.transformation_block is not None:
363 elif disjunct.active and _disjunct_not_fixed_true(disjunct) and \
364 _disjunct_on_active_block(disjunct):
368 if disjunct not in disjuncts_in_disjunctions:
393 def _disjunct_not_fixed_true(disjunct): argument
395 return not (disjunct.indicator_var.fixed and
396 disjunct.indicator_var.value)
398 def _disjunct_on_active_block(disjunct): argument
[all …]
/dports/math/yices/yices-2.6.2/src/mcsat/
H A Dconflict.c187 element->D = disjunct; in conflict_new_element()
244 disjunct_pos = unsigned_term(disjunct); in conflict_disjunct_get_variables()
245 bool negated = disjunct_pos != disjunct; in conflict_disjunct_get_variables()
252 if (disjunct_pos != disjunct) { in conflict_disjunct_get_variables()
278 disjunct_pos = unsigned_term(disjunct); in conflict_disjunct_substitute()
285 if (disjunct_pos != disjunct) { in conflict_disjunct_substitute()
335 if (disjunct_pos != disjunct) { in conflict_disjunct_substitute()
361 assert(disjunct >= 0); in conflict_add_disjunct()
369 if (disjunct == bool2term(false)) { in conflict_add_disjunct()
452 assert(disjunct >= 0); in conflict_remove_disjunct()
[all …]
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.base/share/classes/sun/net/spi/
H A DDefaultProxySelector.java372 for (String disjunct : mask.split("\\|")) {
373 if (disjunct.isEmpty())
386 static String disjunctToRegex(String disjunct) {
388 if (disjunct.equals("*")) {
390 } else if (disjunct.startsWith("*") && disjunct.endsWith("*")) {
391 regex = ".*" + quote(disjunct.substring(1, disjunct.length() - 1)) + ".*";
392 } else if (disjunct.startsWith("*")) {
393 regex = ".*" + quote(disjunct.substring(1));
394 } else if (disjunct.endsWith("*")) {
395 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*";
[all …]
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.base/share/classes/sun/net/spi/
H A DDefaultProxySelector.java372 for (String disjunct : mask.split("\\|")) {
373 if (disjunct.isEmpty())
386 static String disjunctToRegex(String disjunct) {
388 if (disjunct.equals("*")) {
390 } else if (disjunct.startsWith("*") && disjunct.endsWith("*")) {
391 regex = ".*" + quote(disjunct.substring(1, disjunct.length() - 1)) + ".*";
392 } else if (disjunct.startsWith("*")) {
393 regex = ".*" + quote(disjunct.substring(1));
394 } else if (disjunct.endsWith("*")) {
395 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*";
[all …]
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/sun/net/spi/
H A DDefaultProxySelector.java382 for (String disjunct : mask.split("\\|")) {
383 if (disjunct.isEmpty())
396 static String disjunctToRegex(String disjunct) {
398 if (disjunct.equals("*")) {
400 } else if (disjunct.startsWith("*") && disjunct.endsWith("*")) {
401 regex = ".*" + quote(disjunct.substring(1, disjunct.length() - 1)) + ".*";
402 } else if (disjunct.startsWith("*")) {
403 regex = ".*" + quote(disjunct.substring(1));
404 } else if (disjunct.endsWith("*")) {
405 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*";
[all …]
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.base/share/classes/sun/net/spi/
H A DDefaultProxySelector.java378 for (String disjunct : mask.split("\\|")) {
379 if (disjunct.isEmpty())
392 static String disjunctToRegex(String disjunct) {
394 if (disjunct.equals("*")) {
396 } else if (disjunct.startsWith("*") && disjunct.endsWith("*")) {
397 regex = ".*" + quote(disjunct.substring(1, disjunct.length() - 1)) + ".*";
398 } else if (disjunct.startsWith("*")) {
399 regex = ".*" + quote(disjunct.substring(1));
400 } else if (disjunct.endsWith("*")) {
401 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*";
[all …]
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/sun/net/spi/
H A DDefaultProxySelector.java382 for (String disjunct : mask.split("\\|")) {
383 if (disjunct.isEmpty())
396 static String disjunctToRegex(String disjunct) {
398 if (disjunct.equals("*")) {
400 } else if (disjunct.startsWith("*") && disjunct.endsWith("*")) {
401 regex = ".*" + quote(disjunct.substring(1, disjunct.length() - 1)) + ".*";
402 } else if (disjunct.startsWith("*")) {
403 regex = ".*" + quote(disjunct.substring(1));
404 } else if (disjunct.endsWith("*")) {
405 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*";
[all …]
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.base/share/classes/sun/net/spi/
H A DDefaultProxySelector.java375 for (String disjunct : mask.split("\\|")) {
376 if (disjunct.isEmpty())
389 static String disjunctToRegex(String disjunct) {
391 if (disjunct.equals("*")) {
393 } else if (disjunct.startsWith("*") && disjunct.endsWith("*")) {
394 regex = ".*" + quote(disjunct.substring(1, disjunct.length() - 1)) + ".*";
395 } else if (disjunct.startsWith("*")) {
396 regex = ".*" + quote(disjunct.substring(1));
397 } else if (disjunct.endsWith("*")) {
398 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*";
[all …]
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/gdpbb/
H A DGDPbb.py153 for disjunct in disjunction.disjuncts
172 fixed_true_disjuncts = [disjunct for disjunct in disjunction.disjuncts
173 if disjunct.indicator_var.fixed
175 fixed_false_disjuncts = [disjunct for disjunct in disjunction.disjuncts
176 if disjunct.indicator_var.fixed
178 for disjunct in fixed_false_disjuncts:
179 disjunct.deactivate()
183 fixed_true_disjuncts = [disjunct for disjunct in disjunction.disjuncts
186 for disjunct in fixed_true_disjuncts:
199 root.GDPbb_utils.disjuncts_fixed_True.add(disjunct)
[all …]
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.base/share/classes/sun/net/spi/
H A DDefaultProxySelector.java372 for (String disjunct : mask.split("\\|")) {
373 if (disjunct.isEmpty())
376 String regex = disjunctToRegex(disjunct.toLowerCase());
386 static String disjunctToRegex(String disjunct) {
388 if (disjunct.startsWith("*") && disjunct.endsWith("*")) {
389 regex = ".*" + quote(disjunct.substring(1, disjunct.length() - 1)) + ".*";
390 } else if (disjunct.startsWith("*")) {
391 regex = ".*" + quote(disjunct.substring(1));
392 } else if (disjunct.endsWith("*")) {
393 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*";
[all …]
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.base/share/classes/sun/net/spi/
H A DDefaultProxySelector.java378 for (String disjunct : mask.split("\\|")) {
379 if (disjunct.isEmpty())
382 String regex = disjunctToRegex(disjunct.toLowerCase());
392 static String disjunctToRegex(String disjunct) {
394 if (disjunct.startsWith("*") && disjunct.endsWith("*")) {
395 regex = ".*" + quote(disjunct.substring(1, disjunct.length() - 1)) + ".*";
396 } else if (disjunct.startsWith("*")) {
397 regex = ".*" + quote(disjunct.substring(1));
398 } else if (disjunct.endsWith("*")) {
399 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*";
[all …]
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/gdp_bounds/
H A Dcompute_bounds.py30 from pyomo.gdp.disjunct import Disjunct
52 for disj_idx, disjunct in enumerate(model._disjuncts_to_process):
56 if not hasattr(disjunct, '_disj_var_bounds'):
58 disjunct._disj_var_bounds = var_bnds
62 old_lb, old_ub = disjunct._disj_var_bounds.get(var, (-inf, inf))
64 disjunct._disj_var_bounds[var] = (max(old_lb, new_lb), min(old_ub, new_ub))
66 disjunct.deactivate() # prune disjunct
73 disjunct = model._disjuncts_to_process[idx]
74 disjunct.indicator_var.fix(1)
87 for constr in disjunct.component_data_objects(Constraint, active=True):
/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dgenem.cc132 for (const acc_cond& disjunct: acc.top_disjuncts()) in is_scc_empty() local
133 if (acc_cond::mark_t fu = disjunct.fin_unit()) in is_scc_empty()
136 (si, scc, disjunct.remove(fu, true), extra, fu)) in is_scc_empty()
142 rest |= disjunct.get_acceptance(); in is_scc_empty()
161 for (const acc_cond& disjunct: acc.top_disjuncts()) in is_scc_empty() local
162 if (acc_cond::mark_t fu = disjunct.fin_unit()) in is_scc_empty()
165 (si, scc, disjunct.remove(fu, true), extra, fu)) in is_scc_empty()
172 ? acc.fin_one() : disjunct.fin_one()); in is_scc_empty()
177 (si, scc, disjunct.remove(fo_m, true), extra, fo_m)) in is_scc_empty()
182 (si, scc, disjunct.force_inf(fo_m), extra, tocut)) in is_scc_empty()
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dgenem.cc132 for (const acc_cond& disjunct: acc.top_disjuncts()) in is_scc_empty() local
133 if (acc_cond::mark_t fu = disjunct.fin_unit()) in is_scc_empty()
136 (si, scc, disjunct.remove(fu, true), extra, fu)) in is_scc_empty()
142 rest |= disjunct.get_acceptance(); in is_scc_empty()
161 for (const acc_cond& disjunct: acc.top_disjuncts()) in is_scc_empty() local
162 if (acc_cond::mark_t fu = disjunct.fin_unit()) in is_scc_empty()
165 (si, scc, disjunct.remove(fu, true), extra, fu)) in is_scc_empty()
172 ? acc.fin_one() : disjunct.fin_one()); in is_scc_empty()
177 (si, scc, disjunct.remove(fo_m, true), extra, fo_m)) in is_scc_empty()
182 (si, scc, disjunct.force_inf(fo_m), extra, tocut)) in is_scc_empty()
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/net/spi/
H A DDefaultProxySelector.java370 for (String disjunct : mask.split("\\|")) { in toPattern()
371 if (disjunct.isEmpty()) in toPattern()
374 String regex = disjunctToRegex(disjunct.toLowerCase()); in toPattern()
384 static String disjunctToRegex(String disjunct) { in disjunctToRegex() argument
386 if (disjunct.startsWith("*")) { in disjunctToRegex()
387 regex = ".*" + quote(disjunct.substring(1)); in disjunctToRegex()
388 } else if (disjunct.endsWith("*")) { in disjunctToRegex()
389 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*"; in disjunctToRegex()
391 regex = quote(disjunct); in disjunctToRegex()
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/net/spi/
H A DDefaultProxySelector.java370 for (String disjunct : mask.split("\\|")) { in toPattern()
371 if (disjunct.isEmpty()) in toPattern()
374 String regex = disjunctToRegex(disjunct.toLowerCase()); in toPattern()
384 static String disjunctToRegex(String disjunct) { in disjunctToRegex() argument
386 if (disjunct.startsWith("*")) { in disjunctToRegex()
387 regex = ".*" + quote(disjunct.substring(1)); in disjunctToRegex()
388 } else if (disjunct.endsWith("*")) { in disjunctToRegex()
389 regex = quote(disjunct.substring(0, disjunct.length() - 1)) + ".*"; in disjunctToRegex()
391 regex = quote(disjunct); in disjunctToRegex()
/dports/lang/maude/maude-2.7.1/src/Core/
H A DsortBdds.cc75 Bdd disjunct; // initialized to false by default in SortBdds() local
88 disjunct = bdd_or(disjunct, bdd_and(makeIndexBdd(0, nrVariables, s1), lesserSorts)); in SortBdds()
90 componentInfo[i].gtRelation = disjunct; in SortBdds()
105 Bdd disjunct; in SortBdds() local
110 disjunct = bdd_or(disjunct, makeIndexBdd(0, nrVariables, *j)); in SortBdds()
111 leqRelations[i] = disjunct; in SortBdds()
112 …DebugAdvisory("leq BDD for sort " << s << " is " << disjunct << " using " << nrVariables << " vari… in SortBdds()
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/core/
H A Dtest_varprops.pl79 test(disjunct, Expanded =@= Body) :-
82 test(disjunct, Expanded =@= Body) :-
85 test(disjunct, Expanded =@= Body) :-
88 test(disjunct, Expanded =@= Body) :-
91 test(disjunct, Expanded =@= Body) :-

12345678910>>...21