check method

bool? check([
  1. List<AST> assumptions = const []
])

Implementation

bool? check([List<AST> assumptions = const []]) {
  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.optimize_check(
      _optimize,
      assumptions.length,
      assumptionsPtr,
    ));
    return result;
  } finally {
    malloc.free(assumptionsPtr);
  }
}