getDepth method

int getDepth()

Implementation

int getDepth() {
  return _c._z3.goal_depth(_goal);
}