addSmtlib method

List<AST> addSmtlib(
  1. String s
)

Parses an SMT-LIB file with fixedpoint rules and adds them to this context, returning the queries.

Implementation

List<AST> addSmtlib(String s) {
  final sPtr = s.toNativeUtf8();
  try {
    final result = _c._z3.fixedpoint_from_string(_fp, sPtr.cast());
    return _c._unpackAstVector(result);
  } finally {
    malloc.free(sPtr);
  }
}