Z3ParserContext
public class Z3ParserContext : Z3RefCountedObject
Context for incrementally parsing strings. Declarations can be added incrementally to the parser state.
-
The context this
Z3ParserContext
belongsDeclaration
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