query method

bool? query(
  1. Expr query
)

Query the rule table, returns true if the query is satisfiable.

Implementation

bool? query(Expr query) {
  final result = _c._z3.fixedpoint_query(_fp, _c._createAST(query));
  return _c._lbool(result);
}