Z3AstMap
public class Z3AstMap : Z3RefCountedObject
extension Z3AstMap: Sequence
Map of Z3AstBase
objects.
-
The context this
Z3AstVector
belongsDeclaration
Swift
public let context: Z3Context
-
Return the size of this AST map.
Declaration
Swift
public var size: UInt32 { get }
-
Return the keys stored in this AST map.
Declaration
Swift
public var keys: Z3AstVector { get }
-
Removes all keys from this map.
Declaration
Swift
public func removeAll()
-
Declaration
Swift
public func push(_ ast: Z3AstBase)
-
Return true if this AST map contains the AST key
key
.Declaration
Swift
public func contains(_ key: Z3AstBase) -> Bool
-
Convert this AST map into a string.
Declaration
Swift
public func toString() -> String
-
Translate/Copy the AST map
self
from its current context to contexttarget
Declaration
Swift
public func translate(to newContext: Z3Context) -> Z3AstMap