/dports/math/cvc4/CVC4-1.7/src/proof/ |
H A D | sat_proof.h | 52 enum ClauseKind { enum 158 ClauseId registerClause(const typename Solver::TCRef clause, ClauseKind kind); 159 ClauseId registerUnitClause(const typename Solver::TLit lit, ClauseKind kind); 169 ClauseId storeUnitConflict(typename Solver::TLit lit, ClauseKind kind);
|
H A D | sat_proof_implementation.h | 506 ClauseKind kind) { in registerClause() 540 ClauseKind kind) { in registerUnitClause() 828 typename Solver::TLit conflict_lit, ClauseKind kind) { in storeUnitConflict() 1064 inline std::ostream& operator<<(std::ostream& out, CVC4::ClauseKind k) {
|
/dports/textproc/zorba/zorba-2.7.0/src/compiler/expression/ |
H A D | flwor_expr.h | 65 } ClauseKind; typedef 71 ClauseKind theKind; 81 ClauseKind kind) in flwor_clause() 96 ClauseKind get_kind() const { return theKind; } in get_kind() 153 ClauseKind kind,
|
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 244 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 245 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 272 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 273 if (!ClauseKind.consume_front("UETT_")) 275 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 244 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 245 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 272 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 273 if (!ClauseKind.consume_front("UETT_")) 275 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 244 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 245 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 272 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 273 if (!ClauseKind.consume_front("UETT_")) 275 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 244 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 245 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 272 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 273 if (!ClauseKind.consume_front("UETT_")) 275 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 244 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 245 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 272 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 273 if (!ClauseKind.consume_front("UETT_")) 275 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 244 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 245 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 272 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 273 if (!ClauseKind.consume_front("UETT_")) 275 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 244 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 245 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 272 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 273 if (!ClauseKind.consume_front("UETT_")) 275 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/lang/clang-mesa/clang-13.0.1.src/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 244 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 245 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 272 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 273 if (!ClauseKind.consume_front("UETT_")) 275 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 216 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 217 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 240 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 241 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 216 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 217 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 240 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 241 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/ASTMatchers/Dynamic/ |
H A D | Marshallers.h | 240 static Optional<OpenMPClauseKind> getClauseKind(llvm::StringRef ClauseKind) { 241 return llvm::StringSwitch<Optional<OpenMPClauseKind>>(ClauseKind) 267 getUnaryOrTypeTraitKind(llvm::StringRef ClauseKind) { 268 return llvm::StringSwitch<Optional<UnaryExprOrTypeTrait>>(ClauseKind)
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 66 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/devel/llvm11/llvm-11.0.1.src/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 66 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 105 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 98 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/graphics/llvm-mesa/llvm-13.0.1.src/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 98 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 98 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 98 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 98 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 98 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 98 // be return in get<LanguageName>ClauseKind instead of their own kind.
|
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/include/llvm/Frontend/Directive/ |
H A D | DirectiveBase.td | 98 // be return in get<LanguageName>ClauseKind instead of their own kind.
|