invariants.core.algo.dag

DAG

trait DAG extends AnyRef

This data structure performs dynamic topological sort on DAG the topological sort can be performed either from scratch or maintained incrementally. The topological sort is about maintaining the attribute Position in the nodes DAGNode

the topological sort is lower before

The incremental topological sort in setAutoSort(mAutoSort: Boolean){

Linear Supertypes
AnyRef, Any
Known Subclasses
ConcreteDAG, StrognlyConnexComponent
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. DAG
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Abstract Value Members

  1. def getNodes : Iterable[DAGNode]

    Attributes
    abstract

Concrete Value Members

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

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  6. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  7. def checkGraph (): Unit

    Checks that node have correct reference to each othe.

    Checks that node have correct reference to each othe. Nodes are expected to know their successors and predecessors. This is expected to be consistent between several nodes.

  8. def checkSort (): Unit

    performs a self-check on the ordering, use for testing

  9. def clone (): AnyRef

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

  10. def doDAGSort (): Unit

    sorts DAG nodes according to dependencies.

    sorts DAG nodes according to dependencies. first position is set to zero. this throws an exception CycleException in case a cycle is detected

  11. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  12. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  13. def finalize (): Unit

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

  14. def getAutoSort : Boolean

    returns

    the autosort status

  15. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  16. def getCycle (Start: DAGNode = null): List[DAGNode]

  17. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  18. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  19. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  20. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  21. def notifyAddEdge (from: DAGNode, to: DAGNode): Unit

    to notify that an edge has been added between two nodes.

    to notify that an edge has been added between two nodes. this will trigger a re-ordering of the nodes in the topological sort if it is activated. The reordering might lead to an exception CycleException in case there is a cycle in the graph We expect the graph to be updated prior to calling this method notice that you do not need to notify edge deletion.

  22. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  23. def setAutoSort (mAutoSort: Boolean): Unit

    turns the incremental sort on or off.

    turns the incremental sort on or off. Incremental sort is then applied at each edge insert. node insert and delete is prohibited when autosort is activated in case a cycle is detected, does not pass in autosort model, but throws an exception

  24. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  25. def toString (): String

    Definition Classes
    AnyRef → Any

  26. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  28. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any