Home
last modified time | relevance | path

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

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/model/org/eclipse/jdt/core/
H A DCompletionRequestor.java120 || completionProposalKind > CompletionProposal.LAST_KIND) { in isIgnored()
139 || completionProposalKind > CompletionProposal.LAST_KIND) { in setIgnored()
170 || proposalKind > CompletionProposal.LAST_KIND) { in isAllowingRequiredProposals()
175 || requiredProposalKind > CompletionProposal.LAST_KIND) { in isAllowingRequiredProposals()
208 || proposalKind > CompletionProposal.LAST_KIND) { in setAllowsRequiredProposals()
212 || requiredProposalKind > CompletionProposal.LAST_KIND) { in setAllowsRequiredProposals()
217 this.requiredProposalAllowSet = new int[CompletionProposal.LAST_KIND + 1]; in setAllowsRequiredProposals()
H A DCompletionProposal.java887 protected static final int LAST_KIND = MODULE_REF; field in CompletionProposal
/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dkind_map.h33 static const size_t SIZE = (kind::LAST_KIND + 63) / 64;
50 AssertArgument(k >= Kind(0) && k < kind::LAST_KIND, k, "invalid kind"); in Accessor()
90 AssertArgument(k >= Kind(0) && k <= kind::LAST_KIND, k, "invalid kind"); in iterator()
91 while(d_kind < kind::LAST_KIND && in iterator()
97 if(d_kind < kind::LAST_KIND) {
99 while(d_kind < kind::LAST_KIND &&
153 AssertArgument(k >= Kind(0) && k < kind::LAST_KIND, k, "invalid kind"); in tst()
158 AssertArgument(k >= Kind(0) && k < kind::LAST_KIND, k, "invalid kind"); in set()
163 AssertArgument(k >= Kind(0) && k < kind::LAST_KIND, k, "invalid kind"); in clr()
172 return const_iterator(*this, kind::LAST_KIND); in end()
H A Dkind_template.cpp32 case LAST_KIND: out << "LAST_KIND"; break; in operator <<()
95 case kind::LAST_KIND: in kindToTheoryId()
H A Dkind_template.h33 LAST_KIND /**< marks the upper-bound of this enumeration */
H A Dmetakind_template.cpp36 Assert(k >= kind::NULL_EXPR && k < kind::LAST_KIND); in metaKindOf()
H A Dexpr_manager_template.h60 IntStat* d_exprStatistics[kind::LAST_KIND];
H A Dnode_builder.h352 k < kind::LAST_KIND, in collapseTo()
571 k < kind::LAST_KIND,
H A Dexpr_manager_template.cpp75 for (unsigned i = 0; i < kind::LAST_KIND; ++ i) { in ExprManager()
90 for (unsigned i = 0; i < kind::LAST_KIND; ++ i) { in ExprManager()
103 for (unsigned i = 0; i < kind::LAST_KIND; ++ i) { in ~ExprManager()
H A Dnode_manager.cpp129 for(unsigned i = 0; i < unsigned(kind::LAST_KIND); ++i) { in init()
177 for(unsigned i = 0; i < unsigned(kind::LAST_KIND); ++i) { in ~NodeManager()
H A Dnode_manager.h167 Node d_operators[kind::LAST_KIND];
/dports/math/cvc4/CVC4-1.7/src/theory/fp/
H A Dtheory_fp_rewriter.h33 static RewriteFunction preRewriteTable[kind::LAST_KIND];
34 static RewriteFunction postRewriteTable[kind::LAST_KIND];
35 static RewriteFunction constantFoldTable[kind::LAST_KIND];
H A Dtheory_fp_rewriter.cpp978 RewriteFunction TheoryFpRewriter::preRewriteTable[kind::LAST_KIND];
979 RewriteFunction TheoryFpRewriter::postRewriteTable[kind::LAST_KIND];
980 RewriteFunction TheoryFpRewriter::constantFoldTable[kind::LAST_KIND];
989 for (unsigned i = 0; i < kind::LAST_KIND; ++i) { in init()
1074 for (unsigned i = 0; i < kind::LAST_KIND; ++i) { in init()
1156 for (unsigned i = 0; i < kind::LAST_KIND; ++i) { in init()
/dports/math/cvc4/CVC4-1.7/test/unit/expr/
H A Dkind_black.h43 last = LAST_KIND; in setUp()
44 beyond = ((int)LAST_KIND) + 1; in setUp()
52 TS_ASSERT_EQUALS(last, LAST_KIND); in testEquality()
H A Dkind_map_black.h83 TS_ASSERT_DIFFERS(Kind(k), LAST_KIND); in testIteration()
103 TS_ASSERT_THROWS(~LAST_KIND, AssertArgumentException&); in testConstruction()
/dports/math/cvc4/CVC4-1.7/src/theory/bv/bitblast/
H A Dbitblaster.h75 TermBBStrategy d_termBBStrategies[kind::LAST_KIND];
76 AtomBBStrategy d_atomBBStrategies[kind::LAST_KIND];
124 for (int i = 0; i < kind::LAST_KIND; ++i) in initAtomBBStrategies()
143 for (int i = 0; i < kind::LAST_KIND; ++i) in initTermBBStrategies()
/dports/math/cvc4/CVC4-1.7/src/theory/idl/
H A Didl_assertion.cpp25 : d_op(kind::LAST_KIND) in IDLAssertion()
106 return kind::LAST_KIND; in negateOp()
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dkinds.h294 LAST_KIND enumerator
/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewriter.h35 static RewriteFunction d_rewriteTable[kind::LAST_KIND];
H A Dtheory_bv_rewriter.cpp35 RewriteFunction TheoryBVRewriter::d_rewriteTable[kind::LAST_KIND];
682 for(unsigned i = 0; i < kind::LAST_KIND; ++i) { in initializeRewrites()
/dports/math/cvc4/CVC4-1.7/src/api/
H A Dcvc4cppkind.h2294 LAST_KIND enumerator
H A Dcvc4cpp.cpp292 {LAST_KIND, CVC4::Kind::LAST_KIND},
543 {CVC4::Kind::LAST_KIND, LAST_KIND},
548 bool isDefinedKind(Kind k) { return k > UNDEFINED_KIND && k < LAST_KIND; } in isDefinedKind()
553 return k != CVC4::Kind::UNDEFINED_KIND && k != CVC4::Kind::LAST_KIND; in isDefinedIntKind()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/codeassist/org/eclipse/jdt/internal/codeassist/
H A DInternalCompletionProposal.java455 || (kind > LAST_KIND)) { in InternalCompletionProposal()