Home
last modified time | relevance | path

Searched refs:termSet (Results 1 – 23 of 23) sorted by relevance

/dports/textproc/clucene/clucene-core-2.3.3.4/src/test/search/
H A DTestExtractTerms.cpp52 for( TermSet::iterator itTerms = termSet.begin(); itTerms != termSet.end(); itTerms++ ) in clearTermSet()
57 termSet.clear(); in clearTermSet()
66 TermSet termSet; in testExtractFromTermQuery() local
78 clearTermSet( termSet ); in testExtractFromTermQuery()
83 clearTermSet( termSet ); in testExtractFromTermQuery()
109 TermSet termSet; in testExtractFromPhraseQuery() local
128 clearTermSet( termSet ); in testExtractFromPhraseQuery()
151 TermSet termSet; in testExtractFromBooleanQuery() local
170 clearTermSet( termSet ); in testExtractFromBooleanQuery()
193 TermSet termSet; in testExtractFromWildcardQuery() local
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory.cpp239 set<Node>& termSet) const in collectTerms()
241 if (termSet.find(n) != termSet.end()) { in collectTerms()
249 termSet.insert(n); in collectTerms()
254 collectTerms(*child_it, irrKinds, termSet); in collectTerms()
260 void Theory::computeRelevantTerms(set<Node>& termSet, bool includeShared) const in computeRelevantTerms() argument
263 computeRelevantTerms(termSet, irrKinds, includeShared); in computeRelevantTerms()
266 void Theory::computeRelevantTerms(set<Node>& termSet, in computeRelevantTerms() argument
275 collectTerms(*assert_it, irrKinds, termSet); in computeRelevantTerms()
284 collectTerms(*shared_it, kempty, termSet); in computeRelevantTerms()
H A Dtheory.h170 std::set<Node>& termSet) const;
185 void computeRelevantTerms(std::set<Node>& termSet,
189 void computeRelevantTerms(std::set<Node>& termSet, bool includeShared = true) const;
H A Dtheory_model.cpp413 set<Node>* termSet) in assertEqualityEngine() argument
434 if (termSet != NULL && termSet->find(*eqc_i) == termSet->end()) { in assertEqualityEngine()
H A Dtheory_model.h123 std::set<Node>* termSet = NULL);
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/cmd/vendor/golang.org/x/tools/internal/typeparams/
H A Dnormalize.go94 tset, err := computeTermSetInternal(typ, make(map[types.Type]*termSet), 0)
116 type termSet struct { struct
125 func computeTermSetInternal(t types.Type, seen map[types.Type]*termSet, depth int) (res *termSet, e… argument
150 tset := new(termSet)
/dports/www/gitea/gitea-1.16.5/vendor/golang.org/x/tools/internal/typeparams/
H A Dnormalize.go94 tset, err := computeTermSetInternal(typ, make(map[types.Type]*termSet), 0)
116 type termSet struct { struct
125 func computeTermSetInternal(t types.Type, seen map[types.Type]*termSet, depth int) (res *termSet, e… argument
150 tset := new(termSet)
/dports/math/cvc4/CVC4-1.7/src/theory/arrays/
H A Dtheory_arrays.cpp1059 set<Node> termSet; in collectModelInfo() local
1080 if (isArray && termSet.find(n) != termSet.end()) { in collectModelInfo()
1085 termSet.insert(r); in collectModelInfo()
1105 if (n.getKind() == kind::SELECT && termSet.find(n) != termSet.end()) { in collectModelInfo()
1113 termSet.find(arr) != termSet.end() && in collectModelInfo()
1116 if (termSet.find(r) == termSet.end() && d_equalityEngine.hasTerm(r)) { in collectModelInfo()
1122 if (termSet.find(r) == termSet.end() && d_equalityEngine.hasTerm(r)) { in collectModelInfo()
1136 if (termSet.find(instore) != termSet.end() && in collectModelInfo()
1139 if (termSet.find(r) == termSet.end() && d_equalityEngine.hasTerm(r)) { in collectModelInfo()
1145 if (termSet.find(r) == termSet.end() && d_equalityEngine.hasTerm(r)) { in collectModelInfo()
[all …]
/dports/lang/maude/maude-2.7.1/src/Core/
H A DMakefile.am18 termSet.cc \
118 termSet.hh \
H A DMakefile.in110 libcore_a-termSet.$(OBJEXT) libcore_a-strategy.$(OBJEXT) \
327 termSet.cc \
427 termSet.hh \
536 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libcore_a-termSet.Po@am__quote@
669 libcore_a-termSet.o: termSet.cc
670 … libcore_a-termSet.o -MD -MP -MF $(DEPDIR)/libcore_a-termSet.Tpo -c -o libcore_a-termSet.o `test -…
671 …fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/libcore_a-termSet.Tpo $(DEPDIR)/libcore_a-termSet.Po
674 …S) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo '$(srcdir)/'…
676 libcore_a-termSet.obj: termSet.cc
677 …_CXXFLAGS) $(CXXFLAGS) -MT libcore_a-termSet.obj -MD -MP -MF $(DEPDIR)/libcore_a-termSet.Tpo -c -o…
[all …]
H A DChangeLog146 * termSet.cc (insert): return index where we inserted term
148 * termSet.hh (PointerSet): updated decl for insert()
194 * termSet.hh (PointerSet): use using syntax for member functions
2036 * termSet.cc: removed #pragma
2038 * termSet.hh: removed #pragma
2605 * termSet.cc (hash): replaced Assert(false,...) with CantHappen()
5371 * termSet.hh (makeEmpty): added
5440 * termSet.cc (hash): return 0 to stop g++ from complaining
5450 * termSet.hh (insert): use 2 arg insert()
5461 * termSet.cc: created
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/bv/bitblast/
H A Dlazy_bitblaster.cpp539 std::set<Node> termSet; in collectModelInfo() local
540 d_bv->computeRelevantTerms(termSet); in collectModelInfo()
542 for (std::set<Node>::const_iterator it = termSet.begin(); it != termSet.end(); ++it) { in collectModelInfo()
/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dbv_subtheory_core.cpp439 set<Node> termSet; in collectModelInfo() local
440 d_bv->computeRelevantTerms(termSet); in collectModelInfo()
441 if (!m->assertEqualityEngine(&d_equalityEngine, &termSet)) in collectModelInfo()
H A Dbv_subtheory_algebraic.cpp717 set<Node> termSet; in collectModelInfo() local
718 d_bv->computeRelevantTerms(termSet); in collectModelInfo()
724 for (set<Node>::const_iterator it = termSet.begin(); it != termSet.end(); ++it) { in collectModelInfo()
/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf.cpp383 set<Node> termSet; in collectModelInfo() local
386 computeRelevantTerms(termSet); in collectModelInfo()
388 if (!m->assertEqualityEngine(&d_equalityEngine, &termSet)) in collectModelInfo()
394 for( std::set<Node>::iterator it = termSet.begin(); it != termSet.end(); ++it ){ in collectModelInfo()
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/
H A Dtheory_datatypes.cpp1494 set<Node> termSet; in collectModelInfo() local
1497 getRelevantTerms(termSet); in collectModelInfo()
1500 if (!m->assertEqualityEngine(&d_equalityEngine, &termSet)) in collectModelInfo()
2213 void TheoryDatatypes::getRelevantTerms( std::set<Node>& termSet ) { in getRelevantTerms() argument
2218 computeRelevantTerms(termSet, irr_kinds); in getRelevantTerms()
2220 Trace("dt-cmi") << "Have " << termSet.size() << " relevant terms..." in getRelevantTerms()
2243 termSet.insert(n); in getRelevantTerms()
2251 termSet.insert(first); in getRelevantTerms()
2253 termSet.insert(n); in getRelevantTerms()
2260 Trace("dt-cmi") << "After adding non-singletons, has " << termSet.size() in getRelevantTerms()
H A Dtheory_datatypes.h355 void getRelevantTerms( std::set<Node>& termSet );
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ua/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/
H A DContextHelpPart.java429 private Set<String> termSet = new HashSet<>(); field in ContextHelpPart.SearchTerms
434 if (!termSet.contains(lowerCaseTerm)) { in add()
435 termSet.add(lowerCaseTerm); in add()
/dports/math/cvc4/CVC4-1.7/src/theory/sets/
H A Dtheory_sets_private.cpp1970 set<Node> termSet; in collectModelInfo() local
1972 d_external.computeRelevantTerms(termSet); in collectModelInfo()
1975 if (!m->assertEqualityEngine(&d_equalityEngine, &termSet)) in collectModelInfo()
1983 if( termSet.find( eqc )==termSet.end() ){ in collectModelInfo()
/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dtheory_strings.h804 std::set<Node>& termSet);
H A Dtheory_strings.cpp588 std::set<Node> termSet; in collectModelInfo() local
591 computeRelevantTerms(termSet); in collectModelInfo()
593 if (!m->assertEqualityEngine(&d_equalityEngine, &termSet)) in collectModelInfo()
602 for (const Node& s : termSet) in collectModelInfo()
/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.cpp208 set<Node> termSet; in collectModelInfo() local
211 computeRelevantTerms(termSet); in collectModelInfo()
214 return m->assertEqualityEngine(&d_equalityEngine, &termSet); in collectModelInfo()
/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dtheory_arith_private.cpp4314 std::set<Node> termSet; in collectModelInfo() local
4315 d_containing.computeRelevantTerms(termSet); in collectModelInfo()
4332 && termSet.find(term) != termSet.end()){ in collectModelInfo()