reset method

void reset()

Implementation

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