getFuncInterp method

FuncInterp? getFuncInterp(
  1. FuncDecl decl
)

Finds the interpretation of the given function declaration, returns null if it was never assigned by the solver.

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);
}