getNumLevels method

void getNumLevels(
  1. FuncDecl pred
)

Implementation

void getNumLevels(FuncDecl pred) {
  _c._z3.fixedpoint_get_num_levels(_fp, _c._createFuncDecl(pred));
}