Z3ParserContext

public class Z3ParserContext : Z3RefCountedObject

Context for incrementally parsing strings. Declarations can be added incrementally to the parser state.

  • The context this Z3ParserContext belongs

    Declaration

    Swift

    public let context: Z3Context

  • Add a sort declaration.

    Declaration

    Swift

    public func addSort(_ sort: Z3Sort)

  • Add a function declaration.

    Declaration

    Swift

    public func addDecl(_ decl: Z3FuncDecl)

  • Parse a string of SMTLIB2 commands. Return assertions.

    Declaration

    Swift

    public func parseString(_ str: String) -> Z3AstVector