z3_sys

Function Z3_optimize_pop

Source 
pub unsafe extern "C" fn Z3_optimize_pop(
    c: Z3_context,
    d: Z3_optimize,
)
Expand description

Backtrack one level.

§Preconditions:

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

§See also: