parse function

List<AST> parse(
  1. String str, {
  2. Map<String, Sort> sorts = const {},
  3. Map<String, FuncDecl> decls = const {},
})

Parse a SMT-LIB string, returning all of its assertions.

Implementation

List<AST> parse(
  String str, {
  Map<String, Sort> sorts = const {},
  Map<String, FuncDecl> decls = const {},
}) =>
    currentContext.parse(
      str,
      sorts: sorts.map((key, value) => MapEntry(Sym(key), value)),
      decls: decls.map((key, value) => MapEntry(Sym(key), value)),
    );