getSubgoals method

List<Goal> getSubgoals()

Gets all of the subgoals in this result.

Implementation

List<Goal> getSubgoals() {
  final result = <Goal>[];
  final size = _c._z3.apply_result_get_num_subgoals(_result);
  for (var i = 0; i < size; i++) {
    result.add(
      _c._getGoal(_c._z3.apply_result_get_subgoal(_result, i)),
    );
  }
  return result;
}