query method

bool query(
  1. AST query
)

Implementation

bool query(AST query) {
  final result = _c._z3.fixedpoint_query(_fp, _c._createAST(query));
  return _c._bool(result);
}