Locally solve a finite equation system.
Locally solve a finite equation system.
type of the unknowns for the equation system
type of values of the equatiom system
equation system to solve
the unknowns we want to solve
assignment to start the evaluation (defaults to eqs.initial
)
a listener to track the behaviour of the solver (defaults to the empty listener)
the solution of the equation system
A local fixpoint solver based on a worklist.