Packages

t

org.sireum.Z.BV

Short

trait Short[T <: Short[T]] extends BV

Linear Supertypes
BV, HasBoxer, Z, Comparable[Z], Number, Immutable, ImmutableMarker, Clonable, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Short
  2. BV
  3. HasBoxer
  4. Z
  5. Comparable
  6. Number
  7. Immutable
  8. ImmutableMarker
  9. Clonable
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

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

Concrete Value Members

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

Inherited from BV

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