getAssertions method

List<Expr> getAssertions()

Returns the set of background assertions.

Implementation

List<Expr> getAssertions() {
  final result = _c._z3.fixedpoint_get_assertions(_fp);
  return _c._unpackAstVector(result).cast();
}