Searched defs:implies (Results 1 – 2 of 2) sorted by relevance
20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { in implies() function106 bool implies(const LExpr *LHS, const LExpr *RHS) { in implies() function
99 bool LExpr::implies(const LExpr *RHS) const { in implies() function