Z3FiniteDomainSort

public class Z3FiniteDomainSort : Z3Sort

A named finite domain.

  • 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