Packages

c

org.sireum.Z.MP

BigInt

final case class BigInt(value: scala.BigInt) extends MP with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, MP, HasBoxer, Z, Comparable[Z], Number, Immutable, ImmutableMarker, Clonable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BigInt
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. MP
  7. HasBoxer
  8. Z
  9. Comparable
  10. Number
  11. Immutable
  12. ImmutableMarker
  13. Clonable
  14. AnyRef
  15. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new BigInt(value: scala.BigInt)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def $clone: ImmutableMarker
    Definition Classes
    ImmutableMarker → Clonable
  4. final def %(other: Z): MP
    Definition Classes
    MP → Z
  5. final def &(other: Z): MP
    Definition Classes
    MP → Z
  6. final def *(other: Z): MP
    Definition Classes
    MP → Z
  7. final def +(other: Z): MP
    Definition Classes
    MP → Z
  8. final def -(other: Z): MP
    Definition Classes
    MP → Z
  9. final def /(other: Z): MP
    Definition Classes
    MP → Z
  10. final def <(other: Z): B
    Definition Classes
    MP → Z
  11. final def <<(other: Z): MP
    Definition Classes
    MP → Z
  12. final def <=(other: Z): B
    Definition Classes
    MP → Z
  13. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. final def >(other: Z): B
    Definition Classes
    MP → Z
  15. final def >=(other: Z): B
    Definition Classes
    MP → Z
  16. final def >>(other: Z): MP
    Definition Classes
    MP → Z
  17. final def >>>(other: Z): MP
    Definition Classes
    MP → Z
  18. final def BitWidth: Int
    Definition Classes
    MP → Z
  19. final def Index: MP
    Definition Classes
    MP → Z
  20. final def Max: Z
    Definition Classes
    MP → Z
  21. final def Min: Z
    Definition Classes
    MP → Z
  22. final def Name: scala.Predef.String
    Definition Classes
    MP → Z
  23. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  24. def boxer: Boxer
    Definition Classes
    MP → HasBoxer
  25. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  26. def compareTo(other: Z): Int
    Definition Classes
    Z → Comparable
  27. final def decrease: MP
    Definition Classes
    MP → Z
  28. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. final def equals(other: Any): Boolean
    Definition Classes
    MP → AnyRef → Any
  30. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  31. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  32. final def hasMax: Boolean
    Definition Classes
    MP → Z
  33. final def hasMin: Boolean
    Definition Classes
    MP → Z
  34. def hashCode(): Int
    Definition Classes
    BigInt → AnyRef → Any
  35. final def increase: MP
    Definition Classes
    MP → Z
  36. final def isBitVector: Boolean
    Definition Classes
    MP → Z
  37. final def isEqType(other: Z): Boolean
    Definition Classes
    Z
  38. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  39. final def isSigned: Boolean
    Definition Classes
    MP → Z
  40. final def isZeroIndex: Boolean
    Definition Classes
    MP → Z
  41. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  42. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  43. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  44. def pack: MP
  45. final def string: String
    Definition Classes
    Z → Immutable
  46. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  47. def to[I](n: I): ZRange[I]
    Definition Classes
    Z
  48. def toBigInt: scala.BigInt
    Definition Classes
    BigInt → Z
  49. final def toIndex: Index
    Definition Classes
    MP → Z
  50. def toInt: Int
    Definition Classes
    BigInt → MP
  51. def toIntOpt: scala.Option[Int]
    Definition Classes
    BigInt → MP
  52. def toLong: scala.Long
    Definition Classes
    BigInt → MP
  53. def toLongOpt: scala.Option[scala.Long]
    Definition Classes
    BigInt → MP
  54. final def toMP: MP
    Definition Classes
    MP → Z
  55. def toString(): scala.Predef.String
    Definition Classes
    BigInt → AnyRef → Any
  56. final def unary_-: MP
    Definition Classes
    MP → Z
  57. final def unary_~: MP
    Definition Classes
    MP → Z
  58. def until[I](n: I): ZRange[I]
    Definition Classes
    Z
  59. val value: scala.BigInt
  60. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  61. final def wait(arg0: scala.Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  62. final def wait(arg0: scala.Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  63. final def |(other: Z): MP
    Definition Classes
    MP → Z
  64. final def |^(other: Z): MP
    Definition Classes
    MP → Z

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from MP

Inherited from HasBoxer

Inherited from Z

Inherited from Comparable[Z]

Inherited from Number

Inherited from Immutable

Inherited from ImmutableMarker

Inherited from Clonable

Inherited from AnyRef

Inherited from Any

Ungrouped