Packages

t

org.sireum.Z

Range

trait Range[T <: Range[T]] extends Z with HasBoxer

Linear Supertypes
HasBoxer, Z, Comparable[Z], Number, Immutable, ImmutableMarker, Clonable, Any
Known Subclasses
N, N16, N32, N64, N8, Z16, Z32, Z64, Z8
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Range
  2. HasBoxer
  3. Z
  4. Comparable
  5. Number
  6. Immutable
  7. ImmutableMarker
  8. Clonable
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def Index: T
    Definition Classes
    RangeZ
  2. abstract def Max: T
    Definition Classes
    RangeZ
  3. abstract def Min: T
    Definition Classes
    RangeZ
  4. abstract def Name: scala.Predef.String
    Definition Classes
    Z
  5. abstract def boxer: Boxer
    Definition Classes
    HasBoxer
  6. abstract def getClass(): Class[_]
    Definition Classes
    Any
  7. abstract def hasMax: Boolean
    Definition Classes
    Z
  8. abstract def hasMin: Boolean
    Definition Classes
    Z
  9. abstract def isSigned: Boolean
    Definition Classes
    Z
  10. abstract def isZeroIndex: Boolean
    Definition Classes
    RangeZ
  11. abstract def make(n: MP): T
  12. abstract def value: MP

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##(): Int
    Definition Classes
    Any
  3. def $clone: ImmutableMarker
    Definition Classes
    ImmutableMarker → Clonable
  4. final def %(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  5. final def &(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  6. final def *(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  7. final def +(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  8. final def -(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  9. final def /(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  10. final def <(other: Z): B
    Definition Classes
    RangeZ
    Annotations
    @inline()
  11. final def <<(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  12. final def <=(other: Z): B
    Definition Classes
    RangeZ
    Annotations
    @inline()
  13. final def ==(arg0: Any): Boolean
    Definition Classes
    Any
  14. final def >(other: Z): B
    Definition Classes
    RangeZ
    Annotations
    @inline()
  15. final def >=(other: Z): B
    Definition Classes
    RangeZ
    Annotations
    @inline()
  16. final def >>(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  17. final def >>>(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  18. final def BitWidth: Int
    Definition Classes
    RangeZ
    Annotations
    @inline()
  19. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  20. def compareTo(other: Z): Int
    Definition Classes
    Z → Comparable
  21. final def decrease: T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  22. def equals(arg0: Any): Boolean
    Definition Classes
    Any
  23. def hashCode(): Int
    Definition Classes
    Any
  24. final def increase: T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  25. final def isBitVector: Boolean
    Definition Classes
    RangeZ
    Annotations
    @inline()
  26. final def isEqType(other: Z): Boolean
    Definition Classes
    Z
  27. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  28. final def string: String
    Definition Classes
    ZImmutable
  29. def to[I](n: I): ZRange[I]
    Definition Classes
    Z
  30. final def toBigInt: BigInt
    Definition Classes
    RangeZ
    Annotations
    @inline()
  31. final def toIndex: Index
    Definition Classes
    RangeZ
    Annotations
    @inline()
  32. final def toMP: MP
    Definition Classes
    RangeZ
    Annotations
    @inline()
  33. final def toString(): scala.Predef.String
    Definition Classes
    Range → Any
    Annotations
    @inline()
  34. final def unary_-: T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  35. final def unary_~: Z
    Definition Classes
    RangeZ
    Annotations
    @inline()
  36. def until[I](n: I): ZRange[I]
    Definition Classes
    Z
  37. final def |(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()
  38. final def |^(other: Z): T
    Definition Classes
    RangeZ
    Annotations
    @inline()

Inherited from HasBoxer

Inherited from Z

Inherited from Comparable[Z]

Inherited from Number

Inherited from Immutable

Inherited from ImmutableMarker

Inherited from Clonable

Inherited from Any

Ungrouped