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
    ConcreteDAGNode → DAGNode

  24. def getDAGSucceedingNodes : Iterable[DAGNode]

    Definition Classes
    ConcreteDAGNode → DAGNode

  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