| /external/clang/lib/Analysis/ |
| H A D | ThreadSafetyLogical.cpp | 20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { function
25 return implies(A->left(), LNeg, RHS, RNeg) &&
26 implies(A->right(), LNeg, RHS, RNeg);
29 return implies(LHS, LNeg, A->left(), RNeg) &&
30 implies(LHS, LNeg, A->right(), RNeg);
35 return implies(A->left(), LNeg, RHS, RNeg) ||
36 implies(A->right(), LNeg, RHS, RNeg);
39 return implies(LHS, LNeg, A->left(), RNeg) ||
40 implies(LHS, LNeg, A->right(), RNeg);
61 // to return !implies(LH
106 bool implies(const LExpr *LHS, const LExpr *RHS) { function in namespace:clang::threadSafety::lexpr
[all...] |
| /external/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyLogical.h | 32 /// \brief Logical implication. Returns true if the LExpr implies RHS, i.e. if
33 /// the LExpr holds, then RHS must hold. For example, (A & B) implies A.
34 inline bool implies(const LExpr *RHS) const;
95 /// \brief Logical implication. Returns true if LHS implies RHS, i.e. if LHS
96 /// holds, then RHS must hold. For example, (A & B) implies A.
97 bool implies(const LExpr *LHS, const LExpr *RHS);
99 bool LExpr::implies(const LExpr *RHS) const { function in class:clang::threadSafety::lexpr::LExpr
100 return lexpr::implies(this, RHS);
|
| /external/bouncycastle/bcprov/src/main/java/org/bouncycastle/jcajce/provider/config/ |
| H A D | ProviderConfigurationPermission.java | 119 public boolean implies( method in class:ProviderConfigurationPermission
|
| /external/curl/packages/vms/ |
| H A D | make_pcsi_curl_kit_name.com | 166 $! The presence of a patch implies an update
|
| /external/harfbuzz_ng/win32/ |
| H A D | info-msvc.mak | 106 @echo Enable the HarfBuzz-GObject library, also implies GLib2 support,
112 @echo Enable the build of introspection files, also implies GObject/GLib2 support,
|
| /external/llvm/test/MC/PowerPC/ |
| H A D | ppc64-localentry.s | 41 # Verify that use of .localentry implies ABI version 2
|
| /external/guava/guava-tests/test/com/google/common/base/ |
| H A D | FinalizableReferenceQueueClassLoaderUnloadingTest.java | 75 public boolean implies(ProtectionDomain pd, Permission perm) { method in class:FinalizableReferenceQueueClassLoaderUnloadingTest.PermissivePolicy
|
| /external/guava/guava-tests/test/com/google/common/util/concurrent/ |
| H A D | JSR166TestCase.java | 682 public boolean implies(ProtectionDomain pd, Permission p) { method in class:JSR166TestCase.AdjustablePolicy
683 return perms.implies(p);
|
| /external/llvm/include/llvm/Analysis/ |
| H A D | ScalarEvolution.h | 100 /// either implies NW. For convenience, NW will be set for a recurrence
203 /// Returns true if this predicate implies \p N.
204 virtual bool implies(const SCEVPredicate *N) const = 0;
254 bool implies(const SCEVPredicate *N) const override;
359 bool implies(const SCEVPredicate *N) const override;
398 bool implies(const SCEVPredicate *N) const override;
1505 /// specified loop. This property being true implies that the value is
|
| /external/ImageMagick/www/api/ |
| H A D | channel.php | 72 <p>A channel without an operation symbol implies separate (i.e, semicolon). </dd>
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/ActionScript/ |
| H A D | AST.stg | 95 <tokenRefBang(...)> <! Track implies no auto AST construction!>
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/CSharp2/ |
| H A D | AST.stg | 121 <tokenRefBang(...)> <! Track implies no auto AST construction!>
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/CSharp3/ |
| H A D | AST.stg | 119 <tokenRefBang(...)> <! Track implies no auto AST construction!>
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/Delphi/ |
| H A D | AST.stg | 139 <tokenRefBang(...)> <! Track implies no auto AST construction!>
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/Java/ |
| H A D | AST.stg | 94 <tokenRefBang(...)> <! Track implies no auto AST construction!>
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/JavaScript/ |
| H A D | AST.stg | 90 <tokenRefBang(...)> <! Track implies no auto AST construction!>
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/ObjC/ |
| H A D | AST.stg | 232 <tokenRefBang(...)> <! Track implies no auto AST construction!>
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/Python/ |
| H A D | AST.stg | 111 <tokenRefBang(...)> <! Track implies no auto AST construction!>
|
| /external/mesa3d/docs/specs/ |
| H A D | MESA_texture_signed_rgba.spec | 153 This implies that the conventional texture environment
|
| /external/python/cpython2/PCbuild/ |
| H A D | build.bat | 43 echo. --pgo-job The job to use for PGO training; implies --pgo
|
| /external/libunwind_llvm/src/ |
| H A D | UnwindRegistersRestore.S | 365 @ these registers implies they are, actually, available on the target, so
|
| H A D | UnwindRegistersSave.S | 379 @ these registers implies they are, actually, available on the target, so
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/C/ |
| H A D | AST.stg | 142 <tokenRefBang(...)> <! Track implies no auto AST construction!>
|
| /external/boringssl/src/crypto/fipsmodule/bn/asm/ |
| H A D | armv8-mont.pl | 226 // if it is, subtract the modulus. But comparison implies
907 // if it is, subtract the modulus. But comparison implies
1393 // if it is, subtract the modulus. But comparison implies
|
| /external/guice/lib/build/ |
| H A D | felix-2.0.5.jar | META-INF/MANIFEST.MF META-INF/ META-INF/LICENSE META-INF/NOTICE META- ... |