getCoverDelta method

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

Retrieve the current cover of pred up to level unfoldings.

Returns just the delta that is known at level. To obtain the full set of properties of pred one should query at level+1, level+2 etc, and include level=-1.

Implementation

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