invariants.core.algo.dag

ConcreteDAGNode

class ConcreteDAGNode extends DAGNode

Linear Supertypes
DAGNode, Ordered[DAGNode], Comparable[DAGNode], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ConcreteDAGNode
  2. DAGNode
  3. Ordered
  4. Comparable
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ConcreteDAGNode (_UniqueID: Int)

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 < (that: DAGNode): Boolean

    Definition Classes
    Ordered
  5. def <= (that: DAGNode): Boolean

    Definition Classes
    Ordered
  6. def == (arg0: AnyRef): Boolean

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

    Attributes
    final
    Definition Classes
    Any
  8. def > (that: DAGNode): Boolean

    Definition Classes
    Ordered
  9. def >= (that: DAGNode): Boolean

    Definition Classes
    Ordered
  10. var Position : Int

    the position in the topological sort

    the position in the topological sort

    Definition Classes
    DAGNode
  11. var PrecedingNodes : List[DAGNode]

  12. var SucceedingNodes : List[DAGNode]

  13. var UniqueID : Int

    it gives the unique ID of the PropagationElement.

    it gives the unique ID of the PropagationElement. those uniqueID are expected to start at 0 and to increase continuously An exception is tolerated: UniqueID is set to -1 if the Propagation Element is not mentioned in the propagation structure, such as for constants yet is mentioned in the dependencies of registered propagation elements

    Definition Classes
    DAGNode
  14. val _UniqueID : Int

  15. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  16. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  17. def compare (that: DAGNode): Int

    Attributes
    final
    Definition Classes
    ConcreteDAGNode → Ordered
  18. def compareTo (that: DAGNode): Int

    Definition Classes
    Ordered → Comparable
  19. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  20. def equals (arg0: Any): Boolean

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any
  23. def getDAGPrecedingNodes : Iterable[DAGNode]

    Definition Classes
    ConcreteDAGNodeDAGNode
  24. def getDAGSucceedingNodes : Iterable[DAGNode]

    Definition Classes
    ConcreteDAGNodeDAGNode
  25. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  26. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  27. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  28. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  29. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  30. def setAsPrecedingNodeKnownNotYetPreceding (b: ConcreteDAGNode): Unit

  31. def setAsSucceedingNodeKnownNotYetSucceeding (b: ConcreteDAGNode): Unit

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

    Attributes
    final
    Definition Classes
    AnyRef
  33. def toString (): String

    Definition Classes
    AnyRef → Any
  34. var visited : Boolean

    supposed to be false between each pass of the algorithm

    supposed to be false between each pass of the algorithm

    Definition Classes
    DAGNode
  35. var visited2 : Boolean

    Definition Classes
    DAGNode
  36. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from DAGNode

Inherited from Ordered[DAGNode]

Inherited from Comparable[DAGNode]

Inherited from AnyRef

Inherited from Any