Z3AstMap

public class Z3AstMap : Z3RefCountedObject
extension Z3AstMap: Sequence

Map of Z3AstBase objects.

  • The context this Z3AstVector belongs

    Declaration

    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 }

  • Return the value associated with the key key.

    If the key is not present in this AST map, nil is returned, instead.

    Declaration

    Swift

    public subscript(key: Z3AstBase) -> Z3AstBase? { get set }

  • 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 context target

    Declaration

    Swift

    public func translate(to newContext: Z3Context) -> Z3AstMap

  • Declaration

    Swift

    public func makeIterator() -> AnyIterator<(key: Z3AstBase, value: Z3AstBase)>