Packages

t

org.sireum.Z

Range

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

Self Type
T
Linear Supertypes
HasBoxer, ZLike[T], Comparable[T], 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. ZLike
  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
    RangeZLike
  2. abstract def Max: T
    Definition Classes
    RangeZLike
  3. abstract def Min: T
    Definition Classes
    RangeZLike
  4. abstract def Name: scala.Predef.String
    Definition Classes
    ZLike
  5. abstract def boxer: Boxer
    Definition Classes
    HasBoxer
  6. abstract def getClass(): Class[_]
    Definition Classes
    Any
  7. abstract def hasMax: Boolean
    Definition Classes
    ZLike
  8. abstract def hasMin: Boolean
    Definition Classes
    ZLike
  9. abstract def isSigned: Boolean
    Definition Classes
    ZLike
  10. abstract def isZeroIndex: Boolean
    Definition Classes
    RangeZLike
  11. abstract def make(n: Z): T
  12. abstract def value: Z

Concrete Value Members

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

Inherited from HasBoxer

Inherited from ZLike[T]

Inherited from Comparable[T]

Inherited from Number

Inherited from Immutable

Inherited from ImmutableMarker

Inherited from Clonable

Inherited from Any

Ungrouped