Trait

org.sireum.logika.math.S

Value

Related Doc: package S

Permalink

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

Linear Supertypes
LogikaModuloIntegralNumber[Value], LogikaIntegralNumber, LogikaNumber, Comparable[Value], ScalaNumericConversions, ScalaNumericAnyConversions, ScalaNumber, Number, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Value
  2. LogikaModuloIntegralNumber
  3. LogikaIntegralNumber
  4. LogikaNumber
  5. Comparable
  6. ScalaNumericConversions
  7. ScalaNumericAnyConversions
  8. ScalaNumber
  9. Number
  10. Serializable
  11. AnyRef
  12. 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 %(other: Value): Value

    Permalink
  2. abstract def &(other: Value): Value

    Permalink
    Definition Classes
    LogikaModuloIntegralNumber
  3. abstract def *(other: Value): Value

    Permalink
  4. abstract def +(other: Value): Value

    Permalink
  5. abstract def -(other: Value): Value

    Permalink
  6. abstract def /(other: Value): Value

    Permalink
  7. abstract def <<(distance: Value): Value

    Permalink
    Definition Classes
    LogikaModuloIntegralNumber
  8. abstract def >>(distance: Value): Value

    Permalink
  9. abstract def >>>(distance: Value): Value

    Permalink
    Definition Classes
    LogikaModuloIntegralNumber
  10. abstract def ^|(other: Value): Value

    Permalink
    Definition Classes
    LogikaModuloIntegralNumber
  11. abstract def toZ: Z

    Permalink
    Definition Classes
    LogikaIntegralNumber
  12. abstract def unary_-(): Value

    Permalink
  13. abstract def unary_~(): Value

    Permalink
    Definition Classes
    LogikaModuloIntegralNumber
  14. abstract def |(other: Value): Value

    Permalink
    Definition Classes
    LogikaModuloIntegralNumber

Concrete Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. 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()
  4. final def <(other: Value): B

    Permalink
  5. final def <=(other: Value): B

    Permalink
  6. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  7. final def >(other: Value): B

    Permalink
  8. final def >=(other: Value): B

    Permalink
  9. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  10. final def bitWidth: Int

    Permalink
  11. def byteValue(): Byte

    Permalink
    Definition Classes
    Number
  12. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  13. final def compareTo(other: Value): Int

    Permalink
    Definition Classes
    Value → Comparable
  14. final def doubleValue(): Double

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → Number
  15. 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
  16. 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
  17. 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
  18. 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
  19. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  21. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  22. final def floatValue(): Float

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → Number
  23. 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()
  24. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  25. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  26. final def intValue(): Int

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → Number
  27. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  28. def isValidByte: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  29. def isValidChar: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  30. def isValidInt: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  31. def isValidShort: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  32. final def isWhole(): B

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → ScalaNumber
  33. final def longValue(): Long

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → Number
  34. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  35. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  36. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  37. def shortValue(): Short

    Permalink
    Definition Classes
    Number
  38. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  39. final def toApint: Apint

    Permalink
    Definition Classes
    ValueLogikaIntegralNumber
  40. final def toBigInt: BigInt

    Permalink
    Definition Classes
    ValueLogikaIntegralNumber
  41. final def toBigInteger: BigInteger

    Permalink
    Definition Classes
    ValueLogikaIntegralNumber
  42. def toByte: Byte

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  43. def toChar: Char

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  44. def toDouble: Double

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  45. def toFloat: Float

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  46. def toInt: Int

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  47. def toLong: Long

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  48. final def toN: N

    Permalink
    Definition Classes
    LogikaIntegralNumber
  49. final def toN16: N16

    Permalink
    Definition Classes
    LogikaIntegralNumber
  50. final def toN32: N32

    Permalink
    Definition Classes
    LogikaIntegralNumber
  51. final def toN64: N64

    Permalink
    Definition Classes
    LogikaIntegralNumber
  52. final def toN8: N8

    Permalink
    Definition Classes
    LogikaIntegralNumber
  53. final def toS16: S16

    Permalink
    Definition Classes
    LogikaIntegralNumber
  54. final def toS32: S32

    Permalink
    Definition Classes
    LogikaIntegralNumber
  55. final def toS64: S64

    Permalink
    Definition Classes
    LogikaIntegralNumber
  56. final def toS8: S8

    Permalink
    Definition Classes
    LogikaIntegralNumber
  57. def toShort: Short

    Permalink
    Definition Classes
    ScalaNumericAnyConversions
  58. final def toString(): String

    Permalink
    Definition Classes
    Value → AnyRef → Any
  59. final def toU16: U16

    Permalink
    Definition Classes
    LogikaIntegralNumber
  60. final def toU32: U32

    Permalink
    Definition Classes
    LogikaIntegralNumber
  61. final def toU64: U64

    Permalink
    Definition Classes
    LogikaIntegralNumber
  62. final def toU8: U8

    Permalink
    Definition Classes
    LogikaIntegralNumber
  63. final def toZ16: Z16

    Permalink
    Definition Classes
    LogikaIntegralNumber
  64. final def toZ32: Z32

    Permalink
    Definition Classes
    LogikaIntegralNumber
  65. final def toZ64: Z64

    Permalink
    Definition Classes
    LogikaIntegralNumber
  66. final def toZ8: Z8

    Permalink
    Definition Classes
    LogikaIntegralNumber
  67. final def underlying(): Z

    Permalink
    Definition Classes
    Value → ScalaNumericConversions → ScalaNumericAnyConversions → ScalaNumber
  68. def unifiedPrimitiveEquals(x: Any): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    ScalaNumericAnyConversions
  69. def unifiedPrimitiveHashcode(): Int

    Permalink
    Attributes
    protected
    Definition Classes
    ScalaNumericAnyConversions
  70. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  71. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  72. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  73. 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