getCoverDelta method

void getCoverDelta(
  1. int level,
  2. FuncDecl pred
)

Implementation

void getCoverDelta(int level, FuncDecl pred) {
  _c._z3.fixedpoint_get_cover_delta(
    _fp,
    level,
    _c._createFuncDecl(pred),
  );
}