t

org.sireum

ZLike

trait ZLike[T <: ZLike[T]] extends Number with Comparable[T]

Self Type
T
Linear Supertypes
Comparable[T], Number, Immutable, ImmutableMarker, Clonable, Any
Known Subclasses
N, N16, N32, N64, N8, S16, S32, S64, S8, U16, U32, U64, U8, Z, Byte, Int, Long, Short, BigInt, Long, Range, Z16, Z32, Z64, Z8
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ZLike
  2. Comparable
  3. Number
  4. Immutable
  5. ImmutableMarker
  6. Clonable
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def %(other: T): T
  2. abstract def *(other: T): T
  3. abstract def +(other: T): T
  4. abstract def -(other: T): T
  5. abstract def /(other: T): T
  6. abstract def <(other: T): B
  7. abstract def <=(other: T): B
  8. abstract def >(other: T): B
  9. abstract def >=(other: T): B
  10. abstract def BitWidth: Int
  11. abstract def Index: T
  12. abstract def Max: T
  13. abstract def Min: T
  14. abstract def Name: scala.Predef.String
  15. abstract def decrease: T
  16. abstract def getClass(): Class[_]
    Definition Classes
    Any
  17. abstract def hasMax: Boolean
  18. abstract def hasMin: Boolean
  19. abstract def increase: T
  20. abstract def isBitVector: Boolean
  21. abstract def isSigned: Boolean
  22. abstract def isZeroIndex: Boolean
  23. abstract def toBigInt: BigInt
  24. abstract def toIndex: Index
  25. abstract def toMP: Z
  26. abstract def unary_-: T

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 ==(arg0: Any): Boolean
    Definition Classes
    Any
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def compareTo(other: T): Int
    Definition Classes
    ZLike → Comparable
  10. def equals(arg0: Any): Boolean
    Definition Classes
    Any
  11. def hashCode(): Int
    Definition Classes
    Any
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. final def string: String
    Definition Classes
    ZLike → Immutable
  14. def to(n: T): ZRange[T]
  15. def toString(): java.lang.String
    Definition Classes
    Any
  16. def until(n: T): ZRange[T]

Inherited from Comparable[T]

Inherited from Number

Inherited from Immutable

Inherited from ImmutableMarker

Inherited from Clonable

Inherited from Any

Ungrouped