Lines Matching defs:_cost_ub
57 Expr *_cost_ub; // Cost upper bound for this production
67 Expr *cost_ub() const { return (Expr *)_cost_ub; }
929 _cost_ub = Expr::get_unknown();
937 _cost_ub->print();
1003 p->_cost_ub = cost->clone();
1011 // _cost_ub = max(cost, _cost_ub)
1012 if( p->_cost_ub->less_than_or_equal(cost) ) {
1013 p->_cost_ub = cost->clone();
1023 // _cost_ub = min(cost, _cost_ub)
1024 if( cost->less_than_or_equal(p->_cost_ub) ) {
1025 p->_cost_ub = cost->clone();
1030 p->_cost_ub = cost->clone();