isabelle.Build

Session_Tree

final class Session_Tree extends PartialFunction[String, Session_Info]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Session_Tree
  2. PartialFunction
  3. Function1
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. def andThen[C](k: (Session_Info) ⇒ C): PartialFunction[String, C]

    Definition Classes
    PartialFunction → Function1
  7. def apply(name: String): Session_Info

    Definition Classes
    Session_Tree → Function1
  8. def applyOrElse[A1 <: String, B1 >: Session_Info](x: A1, default: (A1) ⇒ B1): B1

    Definition Classes
    PartialFunction
  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. def compose[A](g: (A) ⇒ String): (A) ⇒ Session_Info

    Definition Classes
    Function1
    Annotations
    @unspecialized()
  12. final def eq(arg0: AnyRef): Boolean

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

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

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  16. val graph: Graph[String, Session_Info]

  17. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  18. def isDefinedAt(name: String): Boolean

    Definition Classes
    Session_Tree → PartialFunction
  19. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  20. def lift: (String) ⇒ Option[Session_Info]

    Definition Classes
    PartialFunction
  21. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  22. final def notify(): Unit

    Definition Classes
    AnyRef
  23. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  24. def orElse[A1 <: String, B1 >: Session_Info](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

    Definition Classes
    PartialFunction
  25. def runWith[U](action: (Session_Info) ⇒ U): (String) ⇒ Boolean

    Definition Classes
    PartialFunction
  26. def selection(requirements: Boolean, all_sessions: Boolean, session_groups: List[String], sessions: List[String]): (List[String], Session_Tree)

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

    Definition Classes
    AnyRef
  28. def toString(): String

    Definition Classes
    Session_Tree → Function1 → AnyRef → Any
  29. def topological_order: List[(String, Session_Info)]

  30. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from PartialFunction[String, Session_Info]

Inherited from (String) ⇒ Session_Info

Inherited from AnyRef

Inherited from Any

Ungrouped