Home
last modified time | relevance | path

Searched refs:disjuncts (Results 1 – 25 of 266) sorted by relevance

1234567891011

/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/gdp/tests/
H A Dtest_disjunct.py51 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 Dtest_basic_step.py34 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 DDisjunctionMaxQuery.cpp28 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 DDisjunctionMaxQuery.cs68 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 Ddisjunct.go186 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 Dbasic_step.py65 *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 Dutil.py89 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 DLinkage.java28 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 Dconflict.c105 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 DPayloadSpanUtil.cpp98 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 Dtest_gdpopt.py309 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 DPayloadSpanUtil.cs156 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 Dce_guided_single_inv.cpp770 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 Dtest_model_size.py53 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 DDisjunctionMaxQuery.h40 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 Dhull.py408 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 DGDPbb.py153 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 Dnonmonotonic.py95 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 Dusual.scm163 (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 Ddecode.go394 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 D001_conflicts_in_optional_fields_are_okay_.txtar8 // 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 Dsatsolver.py162 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 Ddpll.py12 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 DWeightedSpanTermExtractor.cpp126 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 Dmodel_size.py99 report.activated.disjuncts = len(activated_disjuncts)
118 report.overall.disjuncts = sum(
165 return (disj for disj in disjtn.disjuncts

1234567891011