WorkListSolver
object WorkListSolver
A local fixpoint solver based on a worklist.
- Source:
- WorkListSolver.scala
Value members
Concrete methods
def apply[U, V](eqs: EquationSystem[U, V, _])(start: U => V, wanted: Iterable[U], tracer: FixpointSolverTracer[U, V]): MutableAssignment[U, V]
Locally solve a finite equation system.
Locally solve a finite equation system.
- Type parameters:
- U
type of the unknowns for the equation system
- V
type of values of the equatiom system
- Value parameters:
- eqs
equation system to solve
- start
assignment to start the evaluation
- tracer
a tracer to track the behaviour of the solver (defaults to the empty tracer)
- wanted
the unknowns we want to solve
- Returns:
the solution of the equation system
- Source:
- WorkListSolver.scala