addFuncInterp method

FuncInterp addFuncInterp(
  1. FuncDecl decl,
  2. Expr defaultValue
)

Implementation

FuncInterp addFuncInterp(FuncDecl decl, Expr defaultValue) {
  final result = _c._z3.add_func_interp(
    _model,
    _c._createFuncDecl(decl),
    _c._createAST(defaultValue),
  );
  return _c._getFuncInterp(result);
}