checkAssumptions method

bool? checkAssumptions(
  1. List<AST> assumptions
)

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);
  }
}