-
The context this
Z3Stats
belongsDeclaration
Swift
public let context: Z3Context
-
Return the number of statistical data in this stats instance.
Declaration
Swift
public var size: UInt32 { get }
-
Convert a statistics into a string.
Declaration
Swift
public func toString() -> String
-
Return the key (a string) for a particular statistical data.
Precondition
index < size
Declaration
Swift
public func getKey(_ index: UInt32) -> String
-
Return
true
if the given statistical data is a unsigned integer.Precondition
index < size
Declaration
Swift
public func isUInt(_ index: UInt32) -> Bool
-
Return
true
if the given statistical data is a double.Precondition
index < size
Declaration
Swift
public func isDouble(_ index: UInt32) -> Bool
-
Return the unsigned value of the given statistical data.
Precondition
index < size && isUInt(index)
Declaration
Swift
public func getUIntValue(_ index: UInt32) -> UInt32
-
Return the double of the given statistical data.
Precondition
index < size && isDouble(index)
Declaration
Swift
public func getDoubleValue(_ index: UInt32) -> Double