Lines Matching refs:AsExpr

135     return AsExpr(Constant<SubscriptInteger>{1});  in lower()
153               return AsExpr(Constant<SubscriptInteger>{object->data().size()});  in upper()
178     lower_ = AsExpr(Constant<SubscriptInteger>{1});  in Fold()
188     lower_ = AsExpr(Constant<SubscriptInteger>{*lbi});  in Fold()
189     upper_ = AsExpr(Constant<SubscriptInteger>{*ubi});  in Fold()
229       lower_ = AsExpr(Constant<SubscriptInteger>{1});  in Fold()
237       upper_ = AsExpr(Constant<SubscriptInteger>{*ubi});  in Fold()
274         return AsExpr(Extremum<SubscriptInteger>{  in SymbolLEN()
292             return AsExpr(Constant<SubscriptInteger>{object->data().size()});  in LEN()
324     return AsExpr(Extremum<SubscriptInteger>{Ordering::Greater,  in LEN()
325         AsExpr(Constant<SubscriptInteger>{0}),  in LEN()
326         *std::move(top) - lower() + AsExpr(Constant<SubscriptInteger>{1})});  in LEN()