| /external/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
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;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
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;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
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;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
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;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
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;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
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;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
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;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
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;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
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;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
