Z3AstVector
public class Z3AstVector : Z3RefCountedObject
extension Z3AstVector: Sequence
Vector of Z3AstBase
objects.
-
The context this
Z3AstVector
belongsDeclaration
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 contexttarget
Declaration
Swift
public func translate(to newContext: Z3Context) -> Z3AstVector
-
Declaration
Swift
public func makeIterator() -> AnyIterator<Z3AstBase>