addConstInterp method

void addConstInterp(
  1. FuncDecl decl,
  2. Expr value
)

Implementation

void addConstInterp(FuncDecl decl, Expr value) {
  _c._z3.add_const_interp(
    _model,
    _c._createFuncDecl(decl),
    _c._createAST(value),
  );
}