invariants.core.algo.dag

DAGNode

trait DAGNode extends Ordered[DAGNode]

Linear Supertypes
Ordered[DAGNode], Comparable[DAGNode], AnyRef, Any
Known Subclasses
Abs, AllDiff, ArgMaxArray, ArgMiaxArray, ArgMinArray, AtLeast, AtMost, AutoPropagateBeforeStart, BinPacking, Bulk, BulkPropagator, Bulked, Cardinality, ConcreteDAGNode, Constraint, ConstraintSystem, Cumulative, DenseCluster, DenseCount, DenseRef, Diff, Div, EQ, Equal, Event, Filter, G, GE, IdentityInt, IdentityIntSet, IntConst, IntElement, IntElements, IntITE, IntInvariant, IntSetConst, IntSetElement, IntSetInvariant, IntSetVar, IntVar, IntVar2IntVarFun, IntVarIntVar2IntVarFun, Inter, Interval, Invariant, L, LE, MakeSet, Max, Max2, MaxArray, MaxLin, MaxSet, Miax, MiaxArray, MiaxLin, MiaxSet, Min, Min2, MinArray, MinLin, MinSet, Minus, NE, Prod, Prod2, ProdElements, PropagationElement, SelectLEHeapHeap, SelectLESetQueue, SetProd, SetSum, Singleton, Sort, SparseCluster, StrognlyConnexComponent, Sum, Sum2, SumElements, Union, Variable
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. DAGNode
  2. Ordered
  3. Comparable
  4. AnyRef
  5. Any
Visibility
  1. Public
  2. All

Abstract Value Members

  1. def compare (that: DAGNode): Int

    Attributes
    abstract
    Definition Classes
    Ordered

  2. def getDAGPrecedingNodes : Iterable[DAGNode]

    Attributes
    abstract

  3. def getDAGSucceedingNodes : 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 < (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

  11. 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

  12. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  13. def clone (): AnyRef

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

  14. def compareTo (that: DAGNode): Int

    Definition Classes
    Ordered → Comparable

  15. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  16. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  17. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  19. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  20. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  21. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  22. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  23. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

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

    Attributes
    final
    Definition Classes
    AnyRef

  25. def toString (): String

    Definition Classes
    AnyRef → Any

  26. var visited : Boolean

    supposed to be false between each pass of the algorithm

  27. var visited2 : Boolean

  28. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  30. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Ordered[DAGNode]

Inherited from Comparable[DAGNode]

Inherited from AnyRef

Inherited from Any