Z3FiniteDomainNumeral

public class Z3FiniteDomainNumeral : AnyZ3Ast

A numeral value belonging to a specific finite domain.

  • Gets the UInt64 value associated with this finite domain numeral value.

    Declaration

    Swift

    public var uint64Value: UInt64 { get }