getDepth method

int getDepth()

Returns the depth of the goal, i.e. how many transformations were applied to it.

Implementation

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