Home
last modified time | relevance | path

Searched refs:clauses (Results 1 – 25 of 5799) sorted by relevance

12345678910>>...232

/dports/textproc/clucene/clucene-core-2.3.3.4/src/test/search/spans/
H A DTestBasics.cpp185 QueryUtils::checkUnequal( tc, clauses[ 0 ], clauses[ 1 ] ); in testSpanNearExact()
276 SpanOrQuery * orQuery = _CLNEW SpanOrQuery( clauses, clauses+1, true ); in testSpanWithMultipleNotSingle()
315 SpanOrQuery * orQuery = _CLNEW SpanOrQuery( clauses, clauses+3, true ); in testSpanWithMultipleNotMany()
453 SpanOrQuery * query = _CLNEW SpanOrQuery( clauses, clauses+2, true ); in testSpanOr()
523 SpanOrQuery * to1 = _CLNEW SpanOrQuery( clauses, clauses+2, true ); in testSpanNearOr()
527 SpanOrQuery * to2 = _CLNEW SpanOrQuery( clauses, clauses+2, true ); in testSpanNearOr()
529 clauses[ 0 ] = to1; in testSpanNearOr()
530 clauses[ 1 ] = to2; in testSpanNearOr()
564 clauses[ 0 ] = tt1; in testSpanComplex1()
566 SpanOrQuery * to1 = _CLNEW SpanOrQuery( clauses, clauses+2, true ); in testSpanComplex1()
[all …]
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/jasat/core/clauses/
H A DTernaryClausesDatabase.java31 package org.jacop.jasat.core.clauses;
83 clauses = Utils.resize(clauses, newSize, clauses.length, pool); in addClause()
87 clauses[offset] = clause[0]; in addClause()
88 clauses[offset + 1] = clause[1]; in addClause()
89 clauses[offset + 2] = clause[2]; in addClause()
111 int[] clauses = watchLists[var]; in assertLiteral() local
136 clauses[offset] = 0; in removeClause()
137 clauses[offset + 1] = 0; in removeClause()
138 clauses[offset + 2] = 0; in removeClause()
155 int literal = clauses[i]; in resolutionWith()
[all …]
H A DBinaryClausesDatabase.java32 package org.jacop.jasat.core.clauses;
50 private int[] clauses = new int[INITIAL_SIZE]; field in BinaryClausesDatabase
75 if (offset + 1 >= clauses.length) { in addClause()
77 clauses = Utils.resize(clauses, newSize, clauses.length, pool); in addClause()
81 clauses[offset] = clause[0]; in addClause()
82 clauses[offset + 1] = clause[1]; in addClause()
131 clauses[offset] = 0; in removeClause()
132 clauses[offset + 1] = 0; in removeClause()
192 int literal0 = clauses[offset];
197 int literal1 = clauses[offset + 1];
[all …]
/dports/math/eprover/eprover-E-2.0/etc/
H A Doption_key29 H K02_00_-_----_-_03005 -wconstant -Garity -WNoSelection --split-clauses=03…
30 H K02_00_-_----_-_03010 -wconstant -Garity -WNoSelection --split-clauses=03…
31 H K02_05_-_----_-_03005 -wconstant -Garity -WSelectComplexExceptUniqMaxHorn --split-clauses=03…
32 H K02_05_-_----_-_03010 -wconstant -Garity -WSelectComplexExceptUniqMaxHorn --split-clauses=03…
33 H K02_06_-_----_-_03005 -wconstant -Garity -WPSelectComplexExceptUniqMaxHorn --split-clauses=03…
34 H K02_06_-_----_-_03010 -wconstant -Garity -WPSelectComplexExceptUniqMaxHorn --split-clauses=03…
35 H K02_07_-_----_-_03005 -wconstant -Garity -WSelectLargestOrientable --split-clauses=03…
36 H K02_07_-_----_-_03010 -wconstant -Garity -WSelectLargestOrientable --split-clauses=03…
37 H K02_08_-_----_-_03005 -wconstant -Garity -WPSelectLargestOrientable --split-clauses=03…
38 H K02_08_-_----_-_03010 -wconstant -Garity -WPSelectLargestOrientable --split-clauses=03…
[all …]
H A Dunit_key46 K01_F2_PI --prefer-initial-clauses
47 K01_F1_PI -F1 --prefer-initial-clauses
48 K02_F2_PI -wconstant -Garity --prefer-initial-clauses
53 K04_F2_PI -warity -Garity --prefer-initial-clauses
57 K06_F2_PI -wconstant -Gfreq --prefer-initial-clauses
59 K08_F2_PI -wmodarity -Garity --prefer-initial-clauses
64 L01_F2_PI -tLPO --prefer-initial-clauses
65 L01_F1_PI -F1 -tLPO --prefer-initial-clauses
68 #L06_F2_PI -tLPO -Gfreq --prefer-initial-clauses
69 #L06_F1_PI -F1 -tLPO -Gfreq --prefer-initial-clauses
[all …]
H A Dg_key5 K01_F2_PI_0 --prefer-initial-clauses
6 K02_F2_PI_0 -wconstant -Garity --prefer-initial-clauses
7 K04_F2_PI_0 -warity -Garity --prefer-initial-clauses
9 K01_F2_PI_S4_0 --prefer-initial-clauses --split-aggressive --split-clauses=4
10 K02_F2_PI_S4_0 -wconstant -Garity --prefer-initial-clauses --split-aggressive --split-clauses=4
11 K04_F2_PI_S4_0 -warity -Garity --prefer-initial-clauses --split-aggressive --split-clauses=4
12 K08_F2_PI_S4_0 -wmodarity -Garity --prefer-initial-clauses --split-aggressive --split-clauses=4
13 #K01_F2_PI_DE_0 --prefer-initial-clauses --destructive-er
14 #K02_F2_PI_DE_0 -wconstant -Garity --prefer-initial-clauses --destructive-er
15 #K04_F2_PI_DE_0 -warity -Garity --prefer-initial-clauses --destructive-er
[all …]
/dports/math/py-sympy/sympy-1.9/sympy/logic/algorithms/
H A Ddpll.py34 clauses = expr.clauses
35 if False in clauses:
67 clauses = unit_propagate(clauses, P)
75 clauses = unit_propagate(clauses, P)
79 for c in clauses:
87 if not clauses:
115 clauses = unit_propagate_int_repr(clauses, P)
123 clauses = unit_propagate_int_repr(clauses, P)
127 for c in clauses:
191 for c in clauses:
[all …]
/dports/www/gitea/gitea-1.16.5/vendor/github.com/olivere/elastic/v7/
H A Dsearch_queries_span_near.go14 clauses []Query member
22 func NewSpanNearQuery(clauses ...Query) *SpanNearQuery {
24 clauses: clauses,
29 func (q *SpanNearQuery) Add(clauses ...Query) *SpanNearQuery {
30 q.clauses = append(q.clauses, clauses...)
36 q.clauses = clauses
71 if len(q.clauses) > 0 {
72 var clauses []interface{}
73 for _, clause := range q.clauses {
78 clauses = append(clauses, src)
[all …]
/dports/www/mattermost-server/mattermost-server-6.0.2/vendor/gopkg.in/olivere/elastic.v6/
H A Dsearch_queries_span_near.go14 clauses []Query member
22 func NewSpanNearQuery(clauses ...Query) *SpanNearQuery {
24 clauses: clauses,
29 func (q *SpanNearQuery) Add(clauses ...Query) *SpanNearQuery {
30 q.clauses = append(q.clauses, clauses...)
36 q.clauses = clauses
71 if len(q.clauses) > 0 {
72 var clauses []interface{}
73 for _, clause := range q.clauses {
78 clauses = append(clauses, src)
[all …]
/dports/net-mgmt/bosun/bosun-0.9.0-preview/vendor/github.com/olivere/elastic/v7/
H A Dsearch_queries_span_near.go14 clauses []Query member
22 func NewSpanNearQuery(clauses ...Query) *SpanNearQuery {
24 clauses: clauses,
29 func (q *SpanNearQuery) Add(clauses ...Query) *SpanNearQuery {
30 q.clauses = append(q.clauses, clauses...)
36 q.clauses = clauses
71 if len(q.clauses) > 0 {
72 var clauses []interface{}
73 for _, clause := range q.clauses {
78 clauses = append(clauses, src)
[all …]
/dports/net/cloudquery/cloudquery-0.16.0/vendor/github.com/doug-martin/goqu/v9/
H A Dselect_dataset.go54 ret := sd.copy(sd.clauses)
86 return sd.clauses
93 clauses: clauses,
108 c := u.clauses
123 u.clauses = c
135 c := i.clauses
139 i.clauses = c
151 c := d.clauses
166 d.clauses = c
481 ret.clauses = ret.clauses.CompoundsAppend(ce)
[all …]
H A Dupdate_dataset.go12 clauses exp.UpdateClauses member
23 clauses: exp.NewUpdateClauses(),
37 ret := ud.copy(ud.clauses)
71 return ud.copy(ud.clauses)
76 return ud.clauses
83 clauses: clauses,
116 return ud.copy(ud.clauses.SetTable(t))
141 return ud.copy(ud.clauses.ClearWhere())
163 return ud.copy(ud.clauses.ClearOrder())
171 return ud.copy(ud.clauses.ClearLimit())
[all …]
H A Ddelete_dataset.go14 clauses exp.DeleteClauses member
23 clauses: exp.NewDeleteClauses(),
41 return dd.copy(dd.clauses)
48 ret := dd.copy(dd.clauses)
79 return dd.clauses
86 clauses: clauses,
123 return dd.copy(dd.clauses.SetFrom(t))
138 return dd.copy(dd.clauses.ClearWhere())
160 return dd.copy(dd.clauses.ClearOrder())
168 return dd.copy(dd.clauses.ClearLimit())
[all …]
H A Dtruncate_dataset.go11 clauses exp.TruncateClauses member
20 clauses: exp.NewTruncateClauses(),
41 ret := td.copy(td.clauses)
68 return td.copy(td.clauses)
73 return td.clauses
80 clauses: clauses,
98 opts := td.clauses.Options()
105 opts := td.clauses.Options()
112 opts := td.clauses.Options()
119 opts := td.clauses.Options()
[all …]
/dports/lang/mono/mono-5.10.1.57/external/api-doc-tools/external/Lucene.Net.Light/src/core/Search/Spans/
H A DSpanNearQuery.cs48 …public SpanNearQuery(SpanQuery[] clauses, int slop, bool inOrder):this(clauses, slop, inOrder, tru… in SpanNearQuery() argument
56 this.clauses = new System.Collections.Generic.List<SpanQuery>(clauses.Length); in SpanNearQuery()
59 SpanQuery clause = clauses[i]; in SpanNearQuery()
69 this.clauses.Add(clause); in SpanNearQuery()
80 return clauses.ToArray(); in GetClauses()
131 if (clauses.Count == 0) in GetSpans()
135 if (clauses.Count == 1) in GetSpans()
147 SpanQuery c = clauses[i]; in Rewrite()
154 clone.clauses[i] = query; in Rewrite()
169 int sz = clauses.Count; in Clone()
[all …]
/dports/math/eprover/eprover-E-2.0/DOC/
H A Dhard_problems20 # Initial clauses: : 17
21 # Processed clauses : 434160
34 # Current number of processed clauses : 5128
35 # Positive orientable unit clauses : 5012
36 # Positive unorientable unit clauses: 116
37 # Negative unit clauses : 0
38 # Non-unit-clauses : 0
61 # Initial clauses: : 51
77 # Positive unorientable unit clauses: 15
78 # Negative unit clauses : 0
[all …]
/dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/src/core/search/spans/
H A DSpanNearQuery.cpp20 SpanQueryPtr clause(clauses[i]); in SpanNearQuery()
26 this->clauses.add(clause); in SpanNearQuery()
37 return clauses; in getClauses()
53 …for (Collection<SpanQueryPtr>::iterator clause = clauses.begin(); clause != clauses.end(); ++claus… in extractTerms()
61 …for (Collection<SpanQueryPtr>::iterator clause = clauses.begin(); clause != clauses.end(); ++claus… in toString()
62 if (clause != clauses.begin()) { in toString()
88 SpanQueryPtr clause(clauses[i]); in rewrite()
94 clone->clauses[i] = query; in rewrite()
105 int32_t sz = clauses.size(); in clone()
133 if (!clauses.equals(otherQuery->clauses, luceneEquals<SpanQueryPtr>())) { in equals()
[all …]
H A DSpanOrQuery.cpp18 SpanQueryPtr clause(clauses[i]); in SpanOrQuery()
24 this->clauses.add(clause); in SpanOrQuery()
32 return clauses; in getClauses()
40 …for (Collection<SpanQueryPtr>::iterator clause = clauses.begin(); clause != clauses.end(); ++claus… in extractTerms()
46 int32_t sz = clauses.size(); in clone()
61 SpanQueryPtr clause(clauses[i]); in rewrite()
67 clone->clauses[i] = query; in rewrite()
80 …for (Collection<SpanQueryPtr>::iterator clause = clauses.begin(); clause != clauses.end(); ++claus… in toString()
81 if (clause != clauses.begin()) { in toString()
100 if (!clauses.equals(otherQuery->clauses, luceneEquals<SpanQueryPtr>())) { in equals()
[all …]
/dports/databases/p5-DBIx-SQLEngine/DBIx-SQLEngine-0.93/SQLEngine/Driver/Trait/
H A DNoUnions.pm139 my ( $self, %clauses ) = @_;
140 my $union = delete $clauses{'union'}
166 my ( $self, %clauses ) = @_;
167 my $union = delete $clauses{'union'}
188 my %clauses = @_;
190 my $union = delete $clauses{'union'}
207 my %clauses = @_;
209 my $union = delete $clauses{'union'}
222 my %clauses = @_;
224 my $union = delete $clauses{'union'}
[all …]
/dports/databases/p5-DBIx-SQLEngine/DBIx-SQLEngine-0.93/SQLEngine/
H A DDriver.pm1123 %clauses = ( %named, %clauses );
1169 my $tables = delete $clauses{'table'} || delete $clauses{'tables'};
1226 join ', ', map "$_ ('$clauses{$_}')", keys %clauses);
1545 %clauses = ( %named, %clauses );
1623 join ', ', map "$_ ('$clauses{$_}')", keys %clauses);
1837 %clauses = ( %named, %clauses );
1921 join ', ', map "$_ ('$clauses{$_}')", keys %clauses);
2036 %clauses = ( %named, %clauses );
2069 join ', ', map "$_ ('$clauses{$_}')", keys %clauses);
2439 %clauses = ( %named, %clauses );
[all …]
/dports/math/cadical/cadical-1.0.3-cb89cbf/src/
H A Drestore.cpp71 memset (&clauses, 0, sizeof clauses); in restore_clauses()
93 clauses.weakened++; in restore_clauses()
148 clauses.removed++; in restore_clauses()
165 if (clauses.satisfied) in restore_clauses()
168 clauses.satisfied, in restore_clauses()
169 percent (clauses.satisfied, clauses.weakened), in restore_clauses()
170 clauses.weakened); in restore_clauses()
174 clauses.weakened); in restore_clauses()
176 if (clauses.restored) in restore_clauses()
179 clauses.restored, in restore_clauses()
[all …]
/dports/misc/otter/otter-3.3f/mace2/
H A Db2.out29 list(clauses).
67 Selectable clauses 2
76 Generate ground clauses 0.00
99 Selectable clauses 10
108 Generate ground clauses 0.00
131 Selectable clauses 16
140 Generate ground clauses 0.00
163 Selectable clauses 19
172 Generate ground clauses 0.00
195 Selectable clauses 21
[all …]
/dports/misc/otter/otter-3.3f/examples/Loop/
H A Dtemp19 clauses kept 4
24 clauses kept 5
29 clauses kept 3
34 clauses kept 3
39 clauses kept 2499
44 clauses kept 1196
49 clauses kept 200
54 clauses kept 1170
59 clauses kept 140
64 clauses kept 199
[all …]
/dports/net/frr7-pythontools/frr-frr-7.5.1/tests/topotests/all-protocol-startup/r1/
H A Dshow_route_map.ref4 Match clauses:
6 Set clauses:
13 Match clauses:
15 Set clauses:
22 Match clauses:
24 Set clauses:
33 Set clauses:
42 Set clauses:
51 Set clauses:
58 Set clauses:
[all …]
/dports/net/frr7/frr-frr-7.5.1/tests/topotests/all-protocol-startup/r1/
H A Dshow_route_map.ref4 Match clauses:
6 Set clauses:
13 Match clauses:
15 Set clauses:
22 Match clauses:
24 Set clauses:
33 Set clauses:
42 Set clauses:
51 Set clauses:
58 Set clauses:
[all …]

12345678910>>...232