Class/Object

isabelle

Time

Related Docs: object Time | package isabelle

Permalink

final class Time extends AnyVal

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Time
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

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

    Permalink
    Definition Classes
    Any
  3. def +(t: Time): Time

    Permalink
  4. def -(t: Time): Time

    Permalink
  5. def <(t: Time): Boolean

    Permalink
  6. def <=(t: Time): Boolean

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

    Permalink
    Definition Classes
    Any
  8. def >(t: Time): Boolean

    Permalink
  9. def >=(t: Time): Boolean

    Permalink
  10. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  11. def compare(t: Time): Int

    Permalink
  12. def getClass(): Class[_ <: AnyVal]

    Permalink
    Definition Classes
    AnyVal → Any
  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  14. def is_relevant: Boolean

    Permalink
  15. def is_zero: Boolean

    Permalink
  16. def max(t: Time): Time

    Permalink
  17. def message: String

    Permalink
  18. def min(t: Time): Time

    Permalink
  19. val ms: Long

    Permalink
  20. def seconds: Double

    Permalink
  21. def toString(): String

    Permalink
    Definition Classes
    Time → Any

Inherited from AnyVal

Inherited from Any

Ungrouped