queryRelations method

bool? queryRelations(
  1. List<FuncDecl> relations
)

Query multiple relations, returns true if the query is satisfiable.

Implementation

bool? queryRelations(List<FuncDecl> relations) {
  final relationsPtr = calloc<Z3_func_decl>(relations.length);
  try {
    for (var i = 0; i < relations.length; i++) {
      relationsPtr[i] = _c._createFuncDecl(relations[i]);
    }
    final result = _c._z3.fixedpoint_query_relations(
      _fp,
      relations.length,
      relationsPtr,
    );
    return _c._lbool(result);
  } finally {
    malloc.free(relationsPtr);
  }
}