Trait

org.sireum.logika.math.F

Value

Related Doc: package F

Permalink

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

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

  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): B

    Permalink

  7. abstract def <=(other: Value): B

    Permalink

  8. abstract def >(other: Value): B

    Permalink

  9. abstract def >=(other: Value): B

    Permalink

  10. abstract def compareTo(arg0: Value): Int

    Permalink
    Definition Classes
    Comparable

  11. abstract def doubleValue(): Double

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  12. abstract def floatValue(): Float

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  13. abstract def intValue(): Int

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  14. abstract def isNaN: B

    Permalink

  15. abstract def isNegInfinity: B

    Permalink

  16. abstract def isPosInfinity: B

    Permalink

  17. abstract def longValue(): Long

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  18. abstract def underlying(): AnyRef

    Permalink
    Definition Classes
    ScalaNumericConversions → ScalaNumericAnyConversions → ScalaNumber

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 ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def byteValue(): Byte

    Permalink
    Definition Classes
    Number

  7. def clone(): AnyRef

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

  8. 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

  9. 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

  10. 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

  11. 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

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

    Permalink
    Definition Classes
    AnyRef

  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  14. def finalize(): Unit

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

  15. 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()

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

    Permalink
    Definition Classes
    AnyRef → Any

  17. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  19. def isValidByte: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  20. def isValidChar: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  21. def isValidInt: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  22. def isValidShort: Boolean

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  23. final def isWhole(): B

    Permalink
    Definition Classes
    Value → ScalaNumericAnyConversions → ScalaNumber

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

    Permalink
    Definition Classes
    AnyRef

  25. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  26. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  27. def shortValue(): Short

    Permalink
    Definition Classes
    Number

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

    Permalink
    Definition Classes
    AnyRef

  29. def toByte: Byte

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  30. def toChar: Char

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  31. def toDouble: Double

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  32. def toFloat: Float

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  33. def toInt: Int

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  34. def toLong: Long

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  35. def toShort: Short

    Permalink
    Definition Classes
    ScalaNumericAnyConversions

  36. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  37. def unifiedPrimitiveEquals(x: Any): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    ScalaNumericAnyConversions

  38. def unifiedPrimitiveHashcode(): Int

    Permalink
    Attributes
    protected
    Definition Classes
    ScalaNumericAnyConversions

  39. final def wait(): Unit

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

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

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

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

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

  42. 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 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