/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/model/org/eclipse/jdt/core/ |
H A D | CompletionRequestor.java | 120 || 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 D | CompletionProposal.java | 887 protected static final int LAST_KIND = MODULE_REF; field in CompletionProposal
|
/dports/math/cvc4/CVC4-1.7/src/expr/ |
H A D | kind_map.h | 33 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 D | kind_template.cpp | 32 case LAST_KIND: out << "LAST_KIND"; break; in operator <<() 95 case kind::LAST_KIND: in kindToTheoryId()
|
H A D | kind_template.h | 33 LAST_KIND /**< marks the upper-bound of this enumeration */
|
H A D | metakind_template.cpp | 36 Assert(k >= kind::NULL_EXPR && k < kind::LAST_KIND); in metaKindOf()
|
H A D | expr_manager_template.h | 60 IntStat* d_exprStatistics[kind::LAST_KIND];
|
H A D | node_builder.h | 352 k < kind::LAST_KIND, in collapseTo() 571 k < kind::LAST_KIND,
|
H A D | expr_manager_template.cpp | 75 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 D | node_manager.cpp | 129 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 D | node_manager.h | 167 Node d_operators[kind::LAST_KIND];
|
/dports/math/cvc4/CVC4-1.7/src/theory/fp/ |
H A D | theory_fp_rewriter.h | 33 static RewriteFunction preRewriteTable[kind::LAST_KIND]; 34 static RewriteFunction postRewriteTable[kind::LAST_KIND]; 35 static RewriteFunction constantFoldTable[kind::LAST_KIND];
|
H A D | theory_fp_rewriter.cpp | 978 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 D | kind_black.h | 43 last = LAST_KIND; in setUp() 44 beyond = ((int)LAST_KIND) + 1; in setUp() 52 TS_ASSERT_EQUALS(last, LAST_KIND); in testEquality()
|
H A D | kind_map_black.h | 83 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 D | bitblaster.h | 75 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 D | idl_assertion.cpp | 25 : 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 D | kinds.h | 294 LAST_KIND enumerator
|
/dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
H A D | theory_bv_rewriter.h | 35 static RewriteFunction d_rewriteTable[kind::LAST_KIND];
|
H A D | theory_bv_rewriter.cpp | 35 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 D | cvc4cppkind.h | 2294 LAST_KIND enumerator
|
H A D | cvc4cpp.cpp | 292 {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 D | InternalCompletionProposal.java | 455 || (kind > LAST_KIND)) { in InternalCompletionProposal()
|