Function z3_sys::Z3_fixedpoint_pop

source · 
pub unsafe extern "C" fn Z3_fixedpoint_pop(
    c: Z3_context,
    d: Z3_fixedpoint
)
Expand description

Backtrack one backtracking point.

Preconditions:

  • The number of calls to pop cannot exceed calls to push.

See also: