evalConst<A extends Expr> method
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;
}