Packages

c

org.sireum.Z.MP

BigInt

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

Linear Supertypes
Serializable, Serializable, Product, Equals, Z, HasBoxer, ZLike[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. Z
  7. HasBoxer
  8. ZLike
  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. 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: Z): Z
    Definition Classes
    ZZLike
  8. final def *(other: Z): Z
    Definition Classes
    ZZLike
  9. final def +(other: Z): Z
    Definition Classes
    ZZLike
  10. final def -(other: Z): Z
    Definition Classes
    ZZLike
  11. final def /(other: Z): Z
    Definition Classes
    ZZLike
  12. final def <(other: Z): B
    Definition Classes
    ZZLike
  13. final def <=(other: Z): B
    Definition Classes
    ZZLike
  14. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  15. final def >(other: Z): B
    Definition Classes
    ZZLike
  16. final def >=(other: Z): B
    Definition Classes
    ZZLike
  17. final def BitWidth: Int
    Definition Classes
    ZZLike
  18. final def Index: Z
    Definition Classes
    ZZLike
  19. final def Max: Z
    Definition Classes
    ZZLike
  20. final def Min: Z
    Definition Classes
    ZZLike
  21. final def Name: scala.Predef.String
    Definition Classes
    ZZLike
  22. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  23. def boxer: Boxer
    Definition Classes
    ZHasBoxer
  24. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  25. def compareTo(other: Z): Int
    Definition Classes
    ZLike → Comparable
  26. final def decrease: Z
    Definition Classes
    ZZLike
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. final def equals(other: Any): Boolean
    Definition Classes
    Z → AnyRef → Any
  29. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  30. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  31. final def hasMax: Boolean
    Definition Classes
    ZZLike
  32. final def hasMin: Boolean
    Definition Classes
    ZZLike
  33. def hashCode(): Int
    Definition Classes
    BigInt → AnyRef → Any
  34. final def increase: Z
    Definition Classes
    ZZLike
  35. final def isBitVector: Boolean
    Definition Classes
    ZZLike
  36. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  37. final def isSigned: Boolean
    Definition Classes
    ZZLike
  38. final def isZeroIndex: Boolean
    Definition Classes
    ZZLike
  39. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  40. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  41. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  42. def pack: Z
  43. final def string: String
    Definition Classes
    ZLikeImmutable
  44. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  45. def to(n: Z): ZRange[Z]
    Definition Classes
    ZLike
  46. def toBigInt: scala.BigInt
    Definition Classes
    BigIntZLike
  47. final def toIndex: Index
    Definition Classes
    ZZLike
  48. def toInt: Int
    Definition Classes
    BigIntZ
  49. def toIntOpt: scala.Option[Int]
    Definition Classes
    BigIntZ
  50. def toLong: scala.Long
    Definition Classes
    BigIntZ
  51. def toLongOpt: scala.Option[scala.Long]
    Definition Classes
    BigIntZ
  52. final def toMP: Z
    Definition Classes
    ZZLike
  53. def toString(): scala.Predef.String
    Definition Classes
    BigInt → AnyRef → Any
  54. final def unary_-: Z
    Definition Classes
    ZZLike
  55. def until(n: Z): ZRange[Z]
    Definition Classes
    ZLike
  56. val value: scala.BigInt
  57. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  58. final def wait(arg0: scala.Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  59. final def wait(arg0: scala.Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Z

Inherited from HasBoxer

Inherited from ZLike[Z]

Inherited from Comparable[Z]

Inherited from Number

Inherited from Immutable

Inherited from ImmutableMarker

Inherited from Clonable

Inherited from AnyRef

Inherited from Any

Ungrouped