Function z3_sys::Z3_mk_re_loop [−][src]
pub unsafe extern "C" fn Z3_mk_re_loop(
c: Z3_context,
r: Z3_ast,
lo: c_uint,
hi: c_uint
) -> 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.