addCover method

void addCover(
  1. int level,
  2. FuncDecl pred,
  3. AST property
)

Add a property of predicate pred at level. It gets pushed forward when possible.

Implementation

void addCover(int level, FuncDecl pred, AST property) {
  _c._z3.fixedpoint_add_cover(
    _fp,
    level,
    _c._createFuncDecl(pred),
    _c._createAST(property),
  );
}