/dports/textproc/clucene/clucene-core-2.3.3.4/src/test/search/ |
H A D | TestExtractTerms.cpp | 52 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 D | theory.cpp | 239 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 D | theory.h | 170 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 D | theory_model.cpp | 413 set<Node>* termSet) in assertEqualityEngine() argument 434 if (termSet != NULL && termSet->find(*eqc_i) == termSet->end()) { in assertEqualityEngine()
|
H A D | theory_model.h | 123 std::set<Node>* termSet = NULL);
|
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/cmd/vendor/golang.org/x/tools/internal/typeparams/ |
H A D | normalize.go | 94 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 D | normalize.go | 94 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 D | theory_arrays.cpp | 1059 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 D | Makefile.am | 18 termSet.cc \ 118 termSet.hh \
|
H A D | Makefile.in | 110 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 D | ChangeLog | 146 * 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 D | lazy_bitblaster.cpp | 539 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 D | bv_subtheory_core.cpp | 439 set<Node> termSet; in collectModelInfo() local 440 d_bv->computeRelevantTerms(termSet); in collectModelInfo() 441 if (!m->assertEqualityEngine(&d_equalityEngine, &termSet)) in collectModelInfo()
|
H A D | bv_subtheory_algebraic.cpp | 717 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 D | theory_uf.cpp | 383 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 D | theory_datatypes.cpp | 1494 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 D | theory_datatypes.h | 355 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 D | ContextHelpPart.java | 429 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 D | theory_sets_private.cpp | 1970 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 D | theory_strings.h | 804 std::set<Node>& termSet);
|
H A D | theory_strings.cpp | 588 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 D | theory_sep.cpp | 208 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 D | theory_arith_private.cpp | 4314 std::set<Node> termSet; in collectModelInfo() local 4315 d_containing.computeRelevantTerms(termSet); in collectModelInfo() 4332 && termSet.find(term) != termSet.end()){ in collectModelInfo()
|