| /dports/audio/sayonara/sayonara-player-5bbf1399332d5d59362ad03bf625f9132be72206/src/Components/Bookmarks/ |
| H A D | Bookmarks.cpp | 84 BookmarkStorage::CreationStatus Bookmarks::create()
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/satwrapper/translation/ |
| H A D | SatCPBridge.java | 112 public abstract int cpValueToBoolVar(int value, boolean isEquality); in cpValueToBoolVar()
|
| H A D | LazyCpVarDomain.java | 63 @Override public int cpValueToBoolVar(int value, boolean isEquality) { in cpValueToBoolVar()
|
| H A D | SimpleCpVarDomain.java | 80 @Override public final int cpValueToBoolVar(int value, boolean isEquality) { in cpValueToBoolVar()
|
| /dports/devel/tinygo/tinygo-0.14.1/vendor/github.com/gobwas/httphead/ |
| H A D | httphead.go | 329 func isEquality(b []byte) bool { func
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | rewriter.cpp | 94 bool isEquality = node.getKind() == kind::EQUAL && (!node[0].getType().isBoolean()); in rewriteTo() local
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 129 bool isEquality() const { return !isOrdered(); } in isEquality() function
|
| /dports/devel/llvm80/llvm-8.0.1.src/tools/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 130 bool isEquality() const { return !isOrdered(); } in isEquality() function
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 130 bool isEquality() const { return !isOrdered(); } in isEquality() function
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Constraint.hpp | 102 bool isEquality() const { return type()==CT_EQ; } in isEquality() function in Kernel::Constraint
|
| /dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
| H A D | equality_engine_types.h | 311 bool isEquality() const { in isEquality() function
|
| /dports/benchmarks/glmark2/glmark2-2021.12/src/libjpeg-turbo/ |
| H A D | rdppm.c | 189 if (! ReadOK(source->pub.input_file, source->iobuffer, source->buffer_width)) in getRight()
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/matcher/ |
| H A D | expression_leaf.h | 88 static bool isEquality(MatchType matchType) { in isEquality() function
|
| /dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/ |
| H A D | STRUCTVALSIG.sml | 187 val isEquality: typeId -> bool value
|
| /dports/math/vampire/vampire-4.5.1/InstGen/ |
| H A D | ModelPrinter.cpp | 127 bool ModelPrinter::isEquality(Literal* lit) in isEquality() function in InstGen::ModelPrinter
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
| H A D | constraint.h | 388 bool isEquality() const{ in isEquality() function
|
| H A D | congruence_manager.cpp | 409 void ArithCongruenceManager::assertionToEqualityEngine(bool isEquality, ArithVar s, TNode reason){ in assertionToEqualityEngine()
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/satwrapper/ |
| H A D | SatWrapper.java | 652 public final int cpVarToBoolVar(IntVar variable, int value, boolean isEquality) { in cpVarToBoolVar()
|
| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/acro/packages/colin/src/libs/ |
| H A D | Application_NonD_Constraints.cpp | 51 inline bool isEquality( size_t i, in isEquality() function
|
| /dports/databases/postgresql10-plperl/postgresql-10.19/src/backend/utils/adt/ |
| H A D | array_selfuncs.c | 85 Oid elemtype, bool isEquality, bool useOr, in scalararraysel_containment()
|
| /dports/databases/postgresql11-client/postgresql-11.14/src/backend/utils/adt/ |
| H A D | array_selfuncs.c | 85 Oid elemtype, bool isEquality, bool useOr, in scalararraysel_containment()
|
| /dports/databases/postgresql10-pltcl/postgresql-10.19/src/backend/utils/adt/ |
| H A D | array_selfuncs.c | 85 Oid elemtype, bool isEquality, bool useOr, in scalararraysel_containment()
|
| /dports/databases/postgresql10-client/postgresql-10.19/src/backend/utils/adt/ |
| H A D | array_selfuncs.c | 85 Oid elemtype, bool isEquality, bool useOr, in scalararraysel_containment()
|
| /dports/databases/postgresql10-contrib/postgresql-10.19/src/backend/utils/adt/ |
| H A D | array_selfuncs.c | 85 Oid elemtype, bool isEquality, bool useOr, in scalararraysel_containment()
|
| /dports/databases/postgresql10-plpython/postgresql-10.19/src/backend/utils/adt/ |
| H A D | array_selfuncs.c | 85 Oid elemtype, bool isEquality, bool useOr, in scalararraysel_containment()
|