Lines Matching refs:lexpr
16 using namespace clang::threadSafety::lexpr;
20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) {
45 case LExpr::And:
52 case LExpr::Or:
59 case LExpr::Not:
63 case LExpr::Terminal:
70 case LExpr::And:
77 case LExpr::Or:
84 case LExpr::Not:
88 case LExpr::Terminal:
104 namespace lexpr {
106 bool implies(const LExpr *LHS, const LExpr *RHS) {
