fixedpoint_get_ground_sat_answer method

Z3_ast fixedpoint_get_ground_sat_answer(
  1. Z3_context c,
  2. Z3_fixedpoint d
)

\brief Retrieve a bottom-up (from query) sequence of ground facts

The previous call to #Z3_fixedpoint_query must have returned \c Z3_L_TRUE.

def_API('Z3_fixedpoint_get_ground_sat_answer', AST, (_in(CONTEXT), _in(FIXEDPOINT)))

Implementation

Z3_ast fixedpoint_get_ground_sat_answer(
  Z3_context c,
  Z3_fixedpoint d,
) {
  return _fixedpoint_get_ground_sat_answer(
    c,
    d,
  );
}