push method

void push()

Implementation

void push() {
  _c._z3.optimize_push(_optimize);
}