/dports/textproc/clucene/clucene-core-2.3.3.4/src/test/search/spans/ |
H A D | TestBasics.cpp | 185 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 D | TernaryClausesDatabase.java | 31 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 D | BinaryClausesDatabase.java | 32 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 D | option_key | 29 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 D | unit_key | 46 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 D | g_key | 5 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 D | dpll.py | 34 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 D | search_queries_span_near.go | 14 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 D | search_queries_span_near.go | 14 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 D | search_queries_span_near.go | 14 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 D | select_dataset.go | 54 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 D | update_dataset.go | 12 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 D | delete_dataset.go | 14 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 D | truncate_dataset.go | 11 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 D | SpanNearQuery.cs | 48 …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 D | hard_problems | 20 # 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 D | SpanNearQuery.cpp | 20 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 D | SpanOrQuery.cpp | 18 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 D | NoUnions.pm | 139 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 D | Driver.pm | 1123 %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 D | restore.cpp | 71 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 D | b2.out | 29 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 D | temp | 19 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 D | show_route_map.ref | 4 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 D | show_route_map.ref | 4 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 …]
|