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 }