reset method

void reset()

Removes all formulas from the goal.

Implementation

void reset() {
  _c._z3.goal_reset(_goal);
}