PriorityWorkListSolver

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def apply[U, V](eqs: FiniteEquationSystem[U, V])(start: Assignment[U, V] = eqs.initial, ordering: Ordering[U] = DFOrdering(eqs), restart: (V, V) ⇒ Boolean = (x: V, y: V) => false, listener: FixpointSolverListener[U, V] = EmptyListener): Assignment[U, V]

   

   Solve a finite equation system.

   Solve a finite equation system.

   U

   type of the unknowns for the equation system

   V

   type of values of the equatiom system

   eqs

   equation system to solve

   start

   assignment to start the evaluation (defaults to eqs.initial)

   ordering

   an ordering which specifies priorities between unknowns (defaults to the depth-first ordering over eqs)

   restart

   at each iteration this function is applied to the new and old values. If it returns true, the analysis of bigger unknown is restarted from the initial value. (defaults to constant false)

   listener

   a listener to track the behaviour of the solver (defaults to EmptyListener)

   returns

   the solution of the equation system

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

8. def equals(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

9. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( classOf[java.lang.Throwable] )

10. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

11. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

12. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

13. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

14. final def notify(): Unit

    

    Definition Classes

    AnyRef

15. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    AnyRef

17. def toString(): String

    

    Definition Classes

    AnyRef → Any

18. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

20. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )