/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/plugins/ |
H A D | gdp_var_mover.py | 50 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 D | hull.py | 421 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 D | fix_disjuncts.py | 12 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 D | bigm.py | 396 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 D | models.py | 41 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 D | test_bigm.py | 1150 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 D | common_tests.py | 103 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 D | util.py | 13 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 D | conflict.c | 187 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 D | DefaultProxySelector.java | 372 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 D | DefaultProxySelector.java | 372 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 D | DefaultProxySelector.java | 382 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 D | DefaultProxySelector.java | 378 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 D | DefaultProxySelector.java | 382 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 D | DefaultProxySelector.java | 375 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 D | GDPbb.py | 153 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 D | DefaultProxySelector.java | 372 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 D | DefaultProxySelector.java | 378 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 D | compute_bounds.py | 30 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 D | genem.cc | 132 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 D | genem.cc | 132 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 D | DefaultProxySelector.java | 370 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 D | DefaultProxySelector.java | 370 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 D | sortBdds.cc | 75 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 D | test_varprops.pl | 79 test(disjunct, Expanded =@= Body) :- 82 test(disjunct, Expanded =@= Body) :- 85 test(disjunct, Expanded =@= Body) :- 88 test(disjunct, Expanded =@= Body) :- 91 test(disjunct, Expanded =@= Body) :-
|