getNumLevels method

void getNumLevels(
  1. FuncDecl pred
)

Query the PDR engine for the maximal levels properties are known about predicate.

Implementation

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