Z3AstVector

public class Z3AstVector : Z3RefCountedObject
extension Z3AstVector: Sequence

Vector of Z3AstBase objects.

  • The context this Z3AstVector belongs

    Declaration

    Swift

    public let context: Z3Context

  • Return the size of this AST vector.

    Declaration

    Swift

    public var size: UInt32 { get }

  • Return or update the AST at position index in this AST vector.

    Precondition

    i < size

    Declaration

    Swift

    public subscript(index: UInt32) -> Z3AstBase { get set }

  • Return or update the AST at position index in this AST vector.

    Precondition

    i >= 0 && i < size

    Declaration

    Swift

    public subscript(index: Int) -> Z3AstBase { get set }

  • Add the AST ast in the end of this AST vector. The size of this vector is increased by one.

    Declaration

    Swift

    public func push(_ ast: Z3AstBase)

  • Resizes this AST vector.

    Declaration

    Swift

    public func resize(newCount: UInt32)

  • Converts this AST vector to a string.

    Declaration

    Swift

    public func toString() -> String

  • Translate/Copy the AST vector self from its current context to context target

    Declaration

    Swift

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

  • Declaration

    Swift

    public func makeIterator() -> AnyIterator<Z3AstBase>