Searched refs:bxLEbeta (Results 1 – 6 of 6) sorted by relevance
281 const Theorem& bxLEbeta);
223 const Theorem& bxLEbeta);
308 const Theorem& bxLEbeta);
1918 const Theorem& bxLEbeta) { in processFiniteInterval() argument1920 const Expr& ineq2(bxLEbeta.getExpr()); in processFiniteInterval()1941 Theorem thm1(alphaLEax), thm2(bxLEbeta); in processFiniteInterval()1945 thm2 = canonPred(iffMP(bxLEbeta, d_rules->multIneqn(ineq2, a))); in processFiniteInterval()
1169 const Theorem& bxLEbeta) { in processFiniteInterval() argument1171 const Expr& ineq2(bxLEbeta.getExpr()); in processFiniteInterval()1192 Theorem thm1(alphaLEax), thm2(bxLEbeta); in processFiniteInterval()1196 thm2 = canonPred(iffMP(bxLEbeta, d_rules->multIneqn(ineq2, a))); in processFiniteInterval()
2374 const Theorem& bxLEbeta) { in processFiniteInterval() argument2376 const Expr& ineq2(bxLEbeta.getExpr()); in processFiniteInterval()2397 Theorem thm1(alphaLEax), thm2(bxLEbeta); in processFiniteInterval()2401 thm2 = canonPred(iffMP(bxLEbeta, d_rules->multIneqn(ineq2, a))); in processFiniteInterval()