getFuncInterp method

FuncInterp? getFuncInterp(
  1. FuncDecl decl
)

Implementation

FuncInterp? getFuncInterp(FuncDecl decl) {
  final result = _c._z3.model_get_func_interp(
    _model,
    _c._createFuncDecl(decl),
  );
  if (result == nullptr) {
    return null;
  }
  return _c._getFuncInterp(result);
}