Function z3_sys::Z3_goal_formula[−][src]

pub unsafe extern "C" fn Z3_goal_formula(
    c: Z3_context, 
    g: Z3_goal, 
    idx: c_uint
) -> Z3_ast
Expand description

Return a formula from the given goal.

Preconditions:

  • idx < Z3_goal_size(c, g)