| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | SymbolOccurrenceReplacement.hpp | 44 …SymbolOccurrenceReplacement(bool isPredicate, unsigned symbol, unsigned freshSymbol, Formula::VarL… in SymbolOccurrenceReplacement() argument
45 … : _isPredicate(isPredicate), _symbol(symbol), _freshSymbol(freshSymbol), _freeVars(freeVars) { in SymbolOccurrenceReplacement()
52 if (isPredicate) { in SymbolOccurrenceReplacement()
|
| /dports/math/cvc4/CVC4-1.7/test/unit/expr/ |
| H A D | node_manager_black.h | 179 TS_ASSERT( !t.isPredicate() ); in testBooleanType()
196 TS_ASSERT( t.isPredicate() ); in testMkFunctionTypeBoolToBool()
224 TS_ASSERT( !t.isPredicate() ); in testMkFunctionTypeVectorOfArgsWithReturnType()
254 TS_ASSERT( !t.isPredicate() ); in testMkFunctionTypeVectorOfArguments()
284 TS_ASSERT( t.isPredicate() ); in testMkPredicateType()
|
| /dports/devel/py-keystone-engine/keystone-engine-0.9.1-3/src/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 81 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
313 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/math/vampire/vampire-4.5.1/Parse/ |
| H A D | TPTP.cpp | 1873 unsigned symbol = isPredicate in endLetTypes()
1877 if (isPredicate) { in endLetTypes()
2041 bool isPredicate = IS_PREDICATE(ref); in symbolDefinition() local
2044 OperatorType* type = isPredicate in symbolDefinition()
2103 unsigned sort = isPredicate in tupleDefinition()
2140 bool isPredicate = IS_PREDICATE(ref); in endDefinition() local
2145 unsigned refSort = isPredicate in endDefinition()
2154 OperatorType* type = isPredicate in endDefinition()
2222 if (!isPredicate) { in endLet()
3219 if (isPredicate) { in endTff()
[all …]
|
| /dports/devel/llvm90/llvm-9.0.1.src/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 92 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
594 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/llvm80/llvm-8.0.1.src/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 93 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
589 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/llvm70/llvm-7.0.1.src/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 93 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
582 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Term.cpp | 471 bool isPredicate = binding.isTerm() && binding.term()->isBoolean(); in headToString() local
472 vstring functor = isPredicate ? env.signature->predicateName(sd->getFunctor()) in headToString()
474 OperatorType* type = isPredicate ? env.signature->getPredicate(sd->getFunctor())->predType() in headToString()
915 bool isPredicate = binding.isTerm() && binding.term()->isBoolean(); in createLet() local
916 const unsigned int arity = isPredicate ? env.signature->predicateArity(functor) in createLet()
951 bool isPredicate = tupleSymbol->fnType()->arg(arg) == Sorts::SRT_BOOL; in createTupleLet() local
952 if (!distinctSymbols.contains(make_pair(symbol, isPredicate))) { in createTupleLet()
953 distinctSymbols.insert(make_pair(symbol, isPredicate)); in createTupleLet()
|
| H A D | SortHelper.cpp | 354 bool isPredicate = binding.isTerm() && binding.term()->isBoolean(); in collectVariableSortsIter() local
355 Signature::Symbol* symbol = isPredicate ? env.signature->getPredicate(sd->getFunctor()) in collectVariableSortsIter()
361 … unsigned sort = isPredicate ? symbol->predType()->arg(position) : symbol->fnType()->arg(position); in collectVariableSortsIter()
377 if (!isPredicate) { in collectVariableSortsIter()
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/shake-0.19.4/src/Test/ |
| H A D | Docs.hs | 250 showStmt i xs | all isPredicate xs, length xs > 1 =
254 isPredicate :: String -> Bool
255 isPredicate x = not $ disjoint (words x) ["==","?=="] function
|
| /dports/devel/hs-shake/shake-0.19.6/src/Test/ |
| H A D | Docs.hs | 250 showStmt i xs | all isPredicate xs, length xs > 1 =
254 isPredicate :: String -> Bool
255 isPredicate x = not $ disjoint (words x) ["==","?=="] function
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/shake-0.19.4/src/Test/ |
| H A D | Docs.hs | 250 showStmt i xs | all isPredicate xs, length xs > 1 =
254 isPredicate :: String -> Bool
255 isPredicate x = not $ disjoint (words x) ["==","?=="] function
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 100 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
616 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 108 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
624 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 101 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
625 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/llvm10/llvm-10.0.1.src/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 101 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
631 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/graphics/llvm-mesa/llvm-13.0.1.src/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 108 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
624 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 109 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
625 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/llvm11/llvm-11.0.1.src/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 100 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
616 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/llvm-10.0/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 101 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
631 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 108 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
624 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 108 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
624 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 108 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
624 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 101 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
631 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/include/llvm/MC/ |
| H A D | MCInstrDesc.h | 109 bool isPredicate() const { return Flags & (1 << MCOI::Predicate); } in isPredicate() function
625 if (OpInfo[i].isPredicate()) in findFirstPredOperandIdx()
|