/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/tests/ |
H A D | test_disjunct.py | 51 disjuncts = m.d.disjuncts 52 self.assertEqual(len(disjuncts), 2) 65 disjuncts = m.e.disjuncts 66 self.assertEqual(len(disjuncts), 2) 88 disjuncts = m.f.disjuncts 89 self.assertEqual(len(disjuncts), 3) 119 d2 = m.d.disjuncts[1].parent_component() 126 self.assertTrue(m.d.disjuncts[0].active) 133 m.d.disjuncts[0].deactivate() 143 m.d.disjuncts[1].deactivate() [all …]
|
H A D | test_basic_step.py | 34 for disj in m.basic_step.disjuncts.values(): 51 for disj in m.basic_step.disjuncts.values(): 86 for disj in m.basic_step.disjuncts.values(): 121 for disj in m.basic_step.disjuncts.values():
|
/dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/src/core/search/ |
H A D | DisjunctionMaxQuery.cpp | 28 add(disjuncts); in DisjunctionMaxQuery() 35 disjuncts.add(query); in add() 39 this->disjuncts.addAll(disjuncts.begin(), disjuncts.end()); in add() 43 return disjuncts.begin(); in begin() 47 return disjuncts.end(); in end() 57 QueryPtr singleton(disjuncts[0]); in rewrite() 69 QueryPtr clause(disjuncts[i]); in rewrite() 85 cloneQuery->disjuncts = Collection<QueryPtr>::newInstance(disjuncts.begin(), disjuncts.end()); in clone() 90 …for (Collection<QueryPtr>::iterator query = disjuncts.begin(); query != disjuncts.end(); ++query) { in extractTerms() 97 …for (Collection<QueryPtr>::iterator query = disjuncts.begin(); query != disjuncts.end(); ++query) { in toString() [all …]
|
/dports/lang/mono/mono-5.10.1.57/external/api-doc-tools/external/Lucene.Net.Light/src/core/Search/ |
H A D | DisjunctionMaxQuery.cs | 68 Add(disjuncts); in DisjunctionMaxQuery() 76 disjuncts.Add(query); in Add() 84 this.disjuncts.AddRange(disjuncts); in Add() 90 return disjuncts.GetEnumerator(); in GetEnumerator() 234 int numDisjunctions = disjuncts.Count; in Rewrite() 237 Query singleton = disjuncts[0]; in Rewrite() 250 Query clause = disjuncts[i]; in Rewrite() 256 clone.disjuncts[i] = rewrite; in Rewrite() 271 clone.disjuncts = (EquatableList<Query>) this.disjuncts.Clone(); in Clone() 278 foreach(Query query in disjuncts) in ExtractTerms() [all …]
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/internal/core/adt/ |
H A D | disjunct.go | 186 n.disjuncts = append(n.disjuncts, n) 203 n.disjuncts = append(n.disjuncts, n) 209 a := n.disjuncts 210 n.disjuncts = n.buffer[:0] 254 if len(n.disjuncts) == 0 { 264 if len(n.disjuncts) == 0 { 382 p.disjuncts[k] = d 391 p.disjuncts = append(p.disjuncts, d) 394 n.disjuncts = n.disjuncts[:0] 526 if disjuncts == nil { [all …]
|
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/ |
H A D | basic_step.py | 65 *tuple( range(len(d.disjuncts)) for d in disjunctions )))) 70 ans.disjuncts = Disjunct(ans.INDEX) 76 ans.disjuncts[idx].src = Block(ans.DISJUNCTIONS) 85 ans.disjuncts[idx].src[i].add_component(k,v) 87 ans.disjuncts[idx].improper_constraints = ConstraintList() 91 ans.disjuncts[idx].improper_constraints.add( 98 ans.disjuncts[idx].improper_constraints.add( 110 for j in range(len(disjunctions[i].disjuncts)): 111 orig_var = disjunctions[i].disjuncts[j].indicator_var 115 sum( ans.disjuncts[idx].binary_indicator_var [all …]
|
H A D | util.py | 89 for disj in disjunction.disjuncts: 92 for disj in t.disjuncts: 351 disjuncts_in_disjunctions.update(i.disjuncts) 354 disjuncts_in_active_disjunctions.update(i.disjuncts)
|
/dports/textproc/link-grammar/link-grammar-5.8.0/bindings/java/org/linkgrammar/ |
H A D | Linkage.java | 28 private String [] disjuncts; field in Linkage 49 return disjuncts[i]; in disjunctAt() 54 return disjuncts; in getDisjuncts() 57 public void setDisjuncts(String[] disjuncts) in setDisjuncts() argument 59 this.disjuncts = disjuncts; in setDisjuncts()
|
/dports/math/yices/yices-2.6.2/src/mcsat/ |
H A D | conflict.c | 105 int_mset_destruct(&conflict->disjuncts); in conflict_destruct() 432 int_mset_add(&conflict->disjuncts, disjunct); in conflict_add_disjunct() 500 ivector_t* disjuncts = int_mset_get_list(&conflict->disjuncts); in conflict_recompute_level_info() local 501 for (i = 0; i < disjuncts->size; ++ i) { in conflict_recompute_level_info() 533 ivector_t disjuncts; in conflict_resolve_propagation() local 535 init_ivector(&disjuncts, 0); in conflict_resolve_propagation() 553 ivector_push(&disjuncts, current_element->D); in conflict_resolve_propagation() 564 for (i = 0; i < disjuncts.size; ++ i) { in conflict_resolve_propagation() 565 term_t disjunct = disjuncts.data[i]; in conflict_resolve_propagation() 586 for (i = 0; i < disjuncts.size; ++ i) { in conflict_resolve_propagation() [all …]
|
/dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/src/core/search/payloads/ |
H A D | PayloadSpanUtil.cpp | 98 Collection<QueryPtr> disjuncts(disjunctLists[positions[i]]); in queryToSpanQuery() local 99 if (!disjuncts) { in queryToSpanQuery() 100 disjuncts = Collection<QueryPtr>::newInstance(); in queryToSpanQuery() 101 disjunctLists[positions[i]] = disjuncts; in queryToSpanQuery() 105 disjuncts.add(newLucene<SpanTermQuery>(*term)); in queryToSpanQuery() 113 Collection<QueryPtr> disjuncts(disjunctLists[i]); in queryToSpanQuery() local 114 if (disjuncts) { in queryToSpanQuery() 115 … Collection<SpanQueryPtr> spanDisjuncts(Collection<SpanQueryPtr>::newInstance(disjuncts.size())); in queryToSpanQuery() 116 for (int32_t j = 0; j < disjuncts.size(); ++j) { in queryToSpanQuery() 117 spanDisjuncts[j] = boost::dynamic_pointer_cast<SpanQuery>(disjuncts[j]); in queryToSpanQuery()
|
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/gdpopt/tests/ |
H A D | test_gdpopt.py | 309 eight_process.use_unit_1or2.disjuncts[0], 310 eight_process.use_unit_3ornot.disjuncts[1], 313 eight_process.use_unit_8ornot.disjuncts[0] 334 [eight_process.use_unit_1or2.disjuncts[0], 335 eight_process.use_unit_3ornot.disjuncts[1], 340 [eight_process.use_unit_1or2.disjuncts[1], 520 eight_process.use_unit_1or2.disjuncts[0], 521 eight_process.use_unit_3ornot.disjuncts[1], 524 eight_process.use_unit_8ornot.disjuncts[0] 545 [eight_process.use_unit_1or2.disjuncts[0], [all …]
|
/dports/lang/mono/mono-5.10.1.57/external/api-doc-tools/external/Lucene.Net.Light/src/core/Search/Payloads/ |
H A D | PayloadSpanUtil.cs | 156 IList<Query> disjuncts = disjunctLists[positions[i]]; in QueryToSpanQuery() 157 if (disjuncts == null) in QueryToSpanQuery() 159 disjuncts = (disjunctLists[positions[i]] = new List<Query>(termArray.Length)); in QueryToSpanQuery() 164 disjuncts.Add(new SpanTermQuery(term)); in QueryToSpanQuery() 173 IList<Query> disjuncts = disjunctLists[i]; in QueryToSpanQuery() 174 if (disjuncts != null) in QueryToSpanQuery() 176 … clauses[position++] = new SpanOrQuery((SpanQuery[]) (disjuncts.ToArray())); in QueryToSpanQuery()
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
H A D | ce_guided_single_inv.cpp | 770 sn = disjuncts[j]; in getConstantSubstitution() 843 std::vector< Node > disjuncts; in process() local 868 disjuncts[j] = Rewriter::rewrite(disjuncts[j].substitute( in process() 902 disjuncts[j] = Rewriter::rewrite(disjuncts[j].substitute( in process() 911 if( disjuncts.empty() ){ in process() 913 }else if( disjuncts.size()==1 ){ in process() 914 res = disjuncts[0]; in process() 965 std::vector<Node>& disjuncts) in getNormalizedSubstitution() argument 981 disjuncts.push_back(eq.negate()); in getNormalizedSubstitution() 989 std::vector<Node>& disjuncts, in processDisjunct() argument [all …]
|
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/util/tests/ |
H A D | test_model_size.py | 53 self.assertEqual(model_size.activated.disjuncts, 12) 54 self.assertEqual(model_size.overall.disjuncts, 12) 80 self.assertEqual(model_size.activated.disjuncts, 18) 81 self.assertEqual(model_size.overall.disjuncts, 18) 118 self.assertEqual(model_size.activated.disjuncts, 0) 119 self.assertEqual(model_size.overall.disjuncts, 0) 135 self.assertEqual(model_size.activated.disjuncts, 7) 136 self.assertEqual(model_size.overall.disjuncts, 7)
|
/dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/include/lucene++/ |
H A D | DisjunctionMaxQuery.h | 40 DisjunctionMaxQuery(Collection<QueryPtr> disjuncts, double tieBreakerMultiplier); 48 Collection<QueryPtr> disjuncts; 61 void add(Collection<QueryPtr> disjuncts);
|
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/plugins/ |
H A D | hull.py | 408 if len(obj.disjuncts) == 0: 421 for disjunct in obj.disjuncts: 457 varSet = {disj: [] for disj in obj.disjuncts} 473 if len(disjuncts) > 1: 479 for disj in disjuncts: 489 localVars[disjuncts[0]] = [var] 492 varSet[disjuncts[0]].append(var) 496 varSet[disjuncts[0]].append(var) 503 for disjunct in obj.disjuncts: 536 for disj in obj.disjuncts: [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 175 fixed_false_disjuncts = [disjunct for disjunct in disjunction.disjuncts 180 if len(fixed_false_disjuncts) == len(disjunction.disjuncts) - 1: 183 fixed_true_disjuncts = [disjunct for disjunct in disjunction.disjuncts 277 for i, disjunct in enumerate(next_disjunction.disjuncts): 281 for disj in next_disjunction.disjuncts if disj is not disjunct): 312 child_disjunct = disjunction_to_branch.disjuncts[i] 315 for disj in disjunction_to_branch.disjuncts:
|
/dports/textproc/py-nltk/nltk-3.4.1/nltk/inference/ |
H A D | nonmonotonic.py | 95 disjuncts = [ 98 disjuncts = [self.replace_quants(d, domain) for d in disjuncts] 99 return reduce(lambda x, y: x | y, disjuncts) 210 disjuncts = [] 217 disjuncts.append(reduce(lambda x, y: x & y, equality_exs)) 225 disjuncts.append(prop[1].substitute_bindings(bindings)) 228 if disjuncts: 231 consequent = reduce(lambda x, y: x | y, disjuncts)
|
/dports/lang/scheme48/scheme48-1.9.2/scheme/bcomp/ |
H A D | usual.scm | 163 (let ((disjuncts (cdr exp))) 164 (cond ((null? disjuncts) 166 ((not (pair? disjuncts)) 168 ((null? (cdr disjuncts)) 169 (car disjuncts)) 172 `(,(r 'let) ((,temp ,(car disjuncts))) 175 (,(r 'or) ,@(cdr disjuncts)))))))))
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/encoding/jsonschema/ |
H A D | decode.go | 394 disjuncts := []ast.Expr{} 398 disjuncts = append(disjuncts, ast.NewIdent("_")) 426 disjuncts = append(disjuncts, x) 437 disjuncts = append(disjuncts, t.typ) 441 disjuncts = append(disjuncts, x) 459 if len(disjuncts) > 0 { 460 conjuncts = append(conjuncts, ast.NewBinExpr(token.OR, disjuncts...))
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/cue/testdata/fulleval/ |
H A D | 001_conflicts_in_optional_fields_are_okay_.txtar | 8 // the following conjunction should not eliminate any disjuncts 18 // the following conjunction should not eliminate any disjuncts
|
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/satsolver/ |
H A D | satsolver.py | 162 disjuncts = [] 163 for disj in djn.disjuncts: 174 disjuncts.append((label, constraints)) 179 self.disjunctions_list.append((or_expr, disjuncts)) 184 for disj in djn.disjuncts:
|
/dports/math/py-sympy/sympy-1.9/sympy/logic/algorithms/ |
H A D | dpll.py | 12 from sympy.logic.boolalg import Or, Not, conjuncts, disjuncts, to_cnf, \ 234 if not found_pos and sym in disjuncts(c): 236 if not found_neg and Not(sym) in disjuncts(c): 278 for literal in disjuncts(clause):
|
/dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/src/contrib/highlighter/ |
H A D | WeightedSpanTermExtractor.cpp | 126 Collection<SpanQueryPtr> disjuncts(disjunctLists[positions[i]]); in extract() local 127 if (!disjuncts) { in extract() 129 disjuncts = disjunctLists[positions[i]]; in extract() 133 disjuncts.add(newLucene<SpanTermQuery>(termArray[j])); in extract() 141 Collection<SpanQueryPtr> disjuncts(disjunctLists[i]); in extract() local 142 if (disjuncts) { in extract() 143 clauses[position++] = newLucene<SpanOrQuery>(disjuncts); in extract()
|
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/util/ |
H A D | model_size.py | 99 report.activated.disjuncts = len(activated_disjuncts) 118 report.overall.disjuncts = sum( 165 return (disj for disj in disjtn.disjuncts
|