Class/Object

isabelle

Graph

Related Docs: object Graph | package isabelle

Permalink

final class Graph[Key, A] extends AnyRef

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

Type Members

  1. type Entry = (A, (Keys, Keys))

    Permalink
  2. type Keys = SortedSet[Key]

    Permalink

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 add_deps_acyclic(y: Key, xs: List[Key]): Graph[Key, A]

    Permalink
  5. def add_edge(x: Key, y: Key): Graph[Key, A]

    Permalink
  6. def add_edge_acyclic(x: Key, y: Key): Graph[Key, A]

    Permalink
  7. def all_preds(xs: List[Key]): List[Key]

    Permalink
  8. def all_succs(xs: List[Key]): List[Key]

    Permalink
  9. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. def default_node(x: Key, info: A): Graph[Key, A]

    Permalink
  12. def defined(x: Key): Boolean

    Permalink
  13. def del_edge(x: Key, y: Key): Graph[Key, A]

    Permalink
  14. def del_node(x: Key): Graph[Key, A]

    Permalink
  15. def dest: List[((Key, A), List[Key])]

    Permalink
  16. def domain: Set[Key]

    Permalink
  17. def edges_iterator: Iterator[(Key, Key)]

    Permalink
  18. def empty_keys: Keys

    Permalink
  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 getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  23. def get_node(x: Key): A

    Permalink
  24. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  25. def imm_preds(x: Key): Keys

    Permalink
  26. def imm_succs(x: Key): Keys

    Permalink
  27. def irreducible_paths(x: Key, y: Key): List[List[Key]]

    Permalink
  28. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  29. def is_edge(x: Key, y: Key): Boolean

    Permalink
  30. def is_empty: Boolean

    Permalink
  31. def is_isolated(x: Key): Boolean

    Permalink
  32. def is_maximal(x: Key): Boolean

    Permalink
  33. def is_minimal(x: Key): Boolean

    Permalink
  34. def iterator: Iterator[(Key, Entry)]

    Permalink
  35. def keys: List[Key]

    Permalink
  36. def keys_iterator: Iterator[Key]

    Permalink
  37. def map_node(x: Key, f: (A) ⇒ A): Graph[Key, A]

    Permalink
  38. def maximals: List[Key]

    Permalink
  39. def minimals: List[Key]

    Permalink
  40. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  41. def new_node(x: Key, info: A): Graph[Key, A]

    Permalink
  42. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  44. def ordering: Ordering[Key]

    Permalink
  45. def reachable(next: (Key) ⇒ Keys, xs: List[Key]): (List[List[Key]], Keys)

    Permalink
  46. def restrict(pred: (Key) ⇒ Boolean): Graph[Key, A]

    Permalink
  47. def size: Int

    Permalink
  48. def strong_conn: List[List[Key]]

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

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

    Permalink
    Definition Classes
    Graph → AnyRef → Any
  51. def topological_order: List[Key]

    Permalink
  52. def transitive_closure: Graph[Key, A]

    Permalink
  53. def transitive_reduction_acyclic: Graph[Key, A]

    Permalink
  54. final def wait(): Unit

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped