-
Gets the symbol for the name of this finite domain.
Declaration
Swift
public let name: Z3Symbol
-
The size of this finite domain.
Declaration
Swift
public let size: UInt64
-
Creates a new numeral belonging to this finite domain sort.
Precondition
value <= self.size
Declaration
Swift
func createNumeral(_ value: UInt64) -> Z3FiniteDomainNumeral