Z3_mk_re_loop

z3_sys

Function Z3_mk_re_loop 

Source 
pub unsafe extern "C" fn Z3_mk_re_loop(
    c: Z3_context,
    r: Z3_ast,
    lo: c_uint,
    hi: c_uint,
) -> Option<Z3_ast>
Expand description

Create a regular expression loop. The supplied regular expression r is repeated between lo and hi times. The lo should be below hi with one execution: when supplying the value hi as 0, the meaning is to repeat the argument r at least lo number of times, and with an unbounded upper bound.