Class/Object

isabelle.Sessions

Tree

Related Docs: object Tree | package Sessions

Permalink

final class Tree extends PartialFunction[String, Info]

Linear Supertypes
PartialFunction[String, Info], (String) ⇒ Info, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Tree
  2. PartialFunction
  3. Function1
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. def ancestors(name: String): List[String]

    Permalink
  5. def andThen[C](k: (Info) ⇒ C): PartialFunction[String, C]

    Permalink
    Definition Classes
    PartialFunction → Function1
  6. def apply(name: String): Info

    Permalink
    Definition Classes
    Tree → Function1
  7. def applyOrElse[A1 <: String, B1 >: Info](x: A1, default: (A1) ⇒ B1): B1

    Permalink
    Definition Classes
    PartialFunction
  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  9. def clone(): AnyRef

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  15. val graph: Graph[String, Info]

    Permalink
  16. def hashCode(): Int

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

    Permalink
    Definition Classes
    Tree → PartialFunction
  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  19. def lift: (String) ⇒ Option[Info]

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

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

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

    Permalink
    Definition Classes
    AnyRef
  23. def orElse[A1 <: String, B1 >: Info](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

    Permalink
    Definition Classes
    PartialFunction
  24. def runWith[U](action: (Info) ⇒ U): (String) ⇒ Boolean

    Permalink
    Definition Classes
    PartialFunction
  25. def selection(requirements: Boolean = false, all_sessions: Boolean = false, exclude_session_groups: List[String] = Nil, exclude_sessions: List[String] = Nil, session_groups: List[String] = Nil, sessions: List[String] = Nil): (List[String], Tree)

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

    Permalink
    Definition Classes
    AnyRef
  27. def toString(): String

    Permalink
    Definition Classes
    Tree → Function1 → AnyRef → Any
  28. def topological_order: List[(String, Info)]

    Permalink
  29. final def wait(): Unit

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

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

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

Inherited from PartialFunction[String, Info]

Inherited from (String) ⇒ Info

Inherited from AnyRef

Inherited from Any

Ungrouped