checkAssumptions method
Implementation
bool? checkAssumptions(List<AST> assumptions) {
final assumptionsPtr = calloc<Z3_ast>(assumptions.length);
try {
for (var i = 0; i < assumptions.length; i++) {
assumptionsPtr[i] = _c._createAST(assumptions[i]);
}
final result = _c._maybeBool(_c._z3.solver_check_assumptions(
_solver,
assumptions.length,
assumptionsPtr,
));
return result;
} finally {
malloc.free(assumptionsPtr);
}
}