Trait

org.sireum.logika.math.NRange

Value

Related Doc: package NRange

Permalink

sealed trait Value extends ScalaNumber with ScalaNumericConversions with Comparable[Value] with LogikaIntegralNumber

Linear Supertypes
LogikaIntegralNumber, LogikaNumber, Comparable[Value], ScalaNumericConversions, ScalaNumericAnyConversions, ScalaNumber, Number, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Value
  2. LogikaIntegralNumber
  3. LogikaNumber
  4. Comparable
  5. ScalaNumericConversions
  6. ScalaNumericAnyConversions
  7. ScalaNumber
  8. Number
  9. Serializable
  10. AnyRef
  11. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def toZ: Z

    Permalink
    Definition Classes
    LogikaIntegralNumber

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def %(other: Value): Value

    Permalink

  4. final def *(other: Value): Value

    Permalink

  5. final def +(other: Value): Value

    Permalink

  6. final def -(other: Value): Value

    Permalink

  7. def ->[B](y: B): (Value, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from Value to ArrowAssoc[Value] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()

  8. final def /(other: Value): Value

    Permalink

  9. final def <(other: Value): B

    Permalink

  10. final def <=(other: Value): B

    Permalink

  11. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  12. final def >(other: Value): B

    Permalink

  13. final def >=(other: Value): B

    Permalink

  14. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  15. final def bitWidth: Int

    Permalink

  16. def byteValue(): Byte

    Permalink
    Definition Classes
    Number

  17. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  18. final def compareTo(other: Value): Int

    Permalink
    Definition Classes
    Value → Comparable

  19. final def doubleValue(): Double

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → Number

  20. def ensuring(cond: (Value) ⇒ Boolean, msg: ⇒ Any): Value

    Permalink
    Implicit information
    This member is added by an implicit conversion from Value to Ensuring[Value] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  21. def ensuring(cond: (Value) ⇒ Boolean): Value

    Permalink
    Implicit information
    This member is added by an implicit conversion from Value to Ensuring[Value] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  22. def ensuring(cond: Boolean, msg: ⇒ Any): Value

    Permalink
    Implicit information
    This member is added by an implicit conversion from Value to Ensuring[Value] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  23. def ensuring(cond: Boolean): Value

    Permalink
    Implicit information
    This member is added by an implicit conversion from Value to Ensuring[Value] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  24. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  25. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  26. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  27. final def floatValue(): Float

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → Number

  28. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from Value to StringFormat[Value] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()

  29. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  30. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  31. final def intValue(): Int

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → Number

  32. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  33. def isValidByte: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  34. def isValidChar: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  35. def isValidInt: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  36. def isValidShort: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  37. final def isWhole(): B

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → ScalaNumber

  38. final def longValue(): Long

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → Number

  39. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  40. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  41. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  42. def shortValue(): Short

    Permalink
    Definition Classes
    Number

  43. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  44. final def toApint: Apint

    Permalink
    Definition Classes
    Value → LogikaIntegralNumber

  45. final def toBigInt: BigInt

    Permalink
    Definition Classes
    Value → LogikaIntegralNumber

  46. final def toBigInteger: BigInteger

    Permalink
    Definition Classes
    Value → LogikaIntegralNumber

  47. def toByte: Byte

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  48. def toChar: Char

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  49. def toDouble: Double

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  50. def toFloat: Float

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  51. def toInt: Int

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  52. def toLong: Long

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  53. final def toN: N

    Permalink
    Definition Classes
    LogikaIntegralNumber

  54. final def toN16: N16

    Permalink
    Definition Classes
    LogikaIntegralNumber

  55. final def toN32: N32

    Permalink
    Definition Classes
    LogikaIntegralNumber

  56. final def toN64: N64

    Permalink
    Definition Classes
    LogikaIntegralNumber

  57. final def toN8: N8

    Permalink
    Definition Classes
    LogikaIntegralNumber

  58. final def toS16: S16

    Permalink
    Definition Classes
    LogikaIntegralNumber

  59. final def toS32: S32

    Permalink
    Definition Classes
    LogikaIntegralNumber

  60. final def toS64: S64

    Permalink
    Definition Classes
    LogikaIntegralNumber

  61. final def toS8: S8

    Permalink
    Definition Classes
    LogikaIntegralNumber

  62. def toShort: Short

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  63. final def toString(): String

    Permalink
    Definition Classes
    Value → AnyRef → Any

  64. final def toU16: U16

    Permalink
    Definition Classes
    LogikaIntegralNumber

  65. final def toU32: U32

    Permalink
    Definition Classes
    LogikaIntegralNumber

  66. final def toU64: U64

    Permalink
    Definition Classes
    LogikaIntegralNumber

  67. final def toU8: U8

    Permalink
    Definition Classes
    LogikaIntegralNumber

  68. final def toZ16: Z16

    Permalink
    Definition Classes
    LogikaIntegralNumber

  69. final def toZ32: Z32

    Permalink
    Definition Classes
    LogikaIntegralNumber

  70. final def toZ64: Z64

    Permalink
    Definition Classes
    LogikaIntegralNumber

  71. final def toZ8: Z8

    Permalink
    Definition Classes
    LogikaIntegralNumber

  72. final def underlying(): Z

    Permalink
    Definition Classes
    Value → ScalaNumericConversions → ScalaNumericAnyConversions → ScalaNumber

  73. def unifiedPrimitiveEquals(x: Any): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    ScalaNumericAnyConversions

  74. def unifiedPrimitiveHashcode(): Int

    Permalink
    Attributes
    protected
    Definition Classes
    ScalaNumericAnyConversions

  75. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  76. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  77. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  78. def →[B](y: B): (Value, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from Value to ArrowAssoc[Value] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Shadowed Implicit Value Members

  1. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from Value to any2stringadd[Value] performed by method any2stringadd in scala.Predef.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (value: any2stringadd[Value]).+(other)
    Definition Classes
    any2stringadd

Inherited from LogikaIntegralNumber

Inherited from LogikaNumber

Inherited from Comparable[Value]

Inherited from ScalaNumericConversions

Inherited from ScalaNumericAnyConversions

Inherited from ScalaNumber

Inherited from Number

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Value to any2stringadd[Value]

Inherited by implicit conversion StringFormat from Value to StringFormat[Value]

Inherited by implicit conversion Ensuring from Value to Ensuring[Value]

Inherited by implicit conversion ArrowAssoc from Value to ArrowAssoc[Value]

Ungrouped