Home
last modified time | relevance | path

Searched refs:minTerm (Results 1 – 7 of 7) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_unif.cpp51 Node minTerm; in getMinimalTerm() local
66 if (minTerm.isNull() || ssize < minSize) in getMinimalTerm()
68 minTerm = n; in getMinimalTerm()
72 return minTerm; in getMinimalTerm()
/dports/www/gitea/gitea-1.16.5/vendor/github.com/blevesearch/bleve/v2/search/query/
H A Dterm_range.go79 var minTerm []byte
81 minTerm = []byte(q.Min)
87 …return searcher.NewTermRangeSearcher(i, minTerm, maxTerm, q.InclusiveMin, q.InclusiveMax, field, q…
/dports/security/keybase/client-v5.7.1/go/vendor/github.com/blevesearch/bleve/search/query/
H A Dterm_range.go79 var minTerm []byte
81 minTerm = []byte(q.Min)
87 …return searcher.NewTermRangeSearcher(i, minTerm, maxTerm, q.InclusiveMin, q.InclusiveMax, field, q…
/dports/www/mattermost-server/mattermost-server-6.0.2/vendor/github.com/blevesearch/bleve/search/query/
H A Dterm_range.go79 var minTerm []byte
81 minTerm = []byte(q.Min)
87 …return searcher.NewTermRangeSearcher(i, minTerm, maxTerm, q.InclusiveMin, q.InclusiveMax, field, q…
/dports/audio/pms-devel/pms-c94e3c6/vendor/github.com/blevesearch/bleve/search/query/
H A Dterm_range.go79 var minTerm []byte
81 minTerm = []byte(q.Min)
87 …return searcher.NewTermRangeSearcher(i, minTerm, maxTerm, q.InclusiveMin, q.InclusiveMax, field, q…
H A Dquery_test.go28 var minTerm = "bob"
150 q := NewTermRangeQuery(minTerm, maxTerm)
/dports/cad/digital/Digital-0.27/src/main/java/de/neemann/digital/gui/components/karnaugh/
H A DKarnaughMap.java244 private final ArrayList<VarState> minTerm; // min term of the cell field in KarnaughMap.Cell
251 minTerm = new ArrayList<>(); in Cell()
256 minTerm.add(varState); in add()
264 for (VarState s : minTerm) in addCoverToCell()
280 int tableCols = minTerm.size(); in createBoolTableRow()
282 for (VarState i : minTerm) { in createBoolTableRow()
310 return minTerm.contains(new VarState(var, invert)); in isVarInMinTerm()