Z3Stats

public class Z3Stats : Z3RefCountedObject

Provides statistical data for a solver.

  • The context this Z3Stats belongs

    Declaration

    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