Searched defs:implies (Results 1 - 20 of 20) sorted by relevance

/external/clang/lib/Analysis/
H A DThreadSafetyLogical.cpp20 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 DThreadSafetyLogical.h32 /// \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/guava/guava-tests/test/com/google/common/base/
H A DFinalizableReferenceQueueClassLoaderUnloadingTest.java75 public boolean implies(ProtectionDomain pd, Permission perm) { method in class:FinalizableReferenceQueueClassLoaderUnloadingTest.PermissivePolicy
/external/bouncycastle/bcprov/src/main/java/org/bouncycastle/jcajce/provider/config/
H A DProviderConfigurationPermission.java119 public boolean implies( method in class:ProviderConfigurationPermission
/external/guava/guava-tests/test/com/google/common/util/concurrent/
H A DJSR166TestCase.java682 public boolean implies(ProtectionDomain pd, Permission p) { method in class:JSR166TestCase.AdjustablePolicy
683 return perms.implies(p);
/external/libpng/contrib/tools/
H A Dpngfix.c21 #define implies(x,y) assert(!(x) || (y)) macro
/external/guice/lib/build/
H A Dfelix-2.0.5.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/LICENSE META-INF/NOTICE META- ...
/external/icu/tools/srcgen/currysrc/libs/
H A Dorg.eclipse.osgi_3.10.100.v20150529-1857.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSE_.SF META-INF/ECLIPSE_.RSA META ...
/external/robolectric/v1/lib/main/
H A Dandroid.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/android/ com/android/internal/ com/android/internal/util/ ...
/external/dagger2/lib/
H A Dgoogle-java-format-0.1-20151017.042846-2.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/googlejavaformat/ com/google/googlejavaformat/CloseOp ...
/external/robolectric/v3/runtime/
H A Dandroid-all-4.1.2_r1-robolectric-0.jarMETA-INF/ META-INF/MANIFEST.MF android/ android/accessibilityservice/ android/accessibilityservice/AccessibilityService$1.class ...
H A Dandroid-all-4.2.2_r1.2-robolectric-0.jarMETA-INF/ META-INF/MANIFEST.MF android/ android/accessibilityservice/ android/accessibilityservice/AccessibilityService$1.class ...
H A Dandroid-all-4.3_r2-robolectric-0.jarMETA-INF/ META-INF/MANIFEST.MF android/ android/accessibilityservice/ android/accessibilityservice/AccessibilityService$1.class ...
H A Dandroid-all-4.4_r1-robolectric-1.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/android/ com/google/android/collect/ ...
H A Dandroid-all-5.0.0_r2-robolectric-1.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/android/ com/google/android/collect/ ...
H A Dandroid-all-5.1.1_r9-robolectric-1.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/android/ com/google/android/collect/ ...
/external/google-tv-pairing-protocol/java/jar/
H A Dbcprov-jdk15-143.jarMETA-INF/MANIFEST.MF META-INF/BCKEY.SF META-INF/BCKEY.DSA META ...
/external/kotlinc/lib/
H A Dkotlin-runtime.jarMETA-INF/ META-INF/MANIFEST.MF kotlin/ kotlin/kotlin.kotlin_builtins kotlin/collections/ kotlin/collections/collections ...
H A Dkotlin-stdlib.jarMETA-INF/ META-INF/MANIFEST.MF kotlin/ kotlin/kotlin.kotlin_builtins kotlin/collections/ kotlin/collections/collections ...
/external/guice/extensions/persist/lib/
H A Dhibernate3.jarMETA-INF/ META-INF/MANIFEST.MF org/ org/hibernate/ org/hibernate/AssertionFailure.class AssertionFailure. ...

Completed in 458 milliseconds