evalConst<A extends Expr> method

A? evalConst<A extends Expr>(
  1. ConstVar query
)

Implementation

A? evalConst<A extends Expr>(ConstVar query) {
  final result = _c._z3.model_get_const_interp(
    _model,
    _c._createFuncDecl(query.decl),
  );
  if (result == nullptr) {
    return null;
  }
  return _c._getAST(result) as A;
}