HierarchicalOrderingSolver
object HierarchicalOrderingSolver
A solver whose strategy in based on a hierarchical ordering.
Value members
Concrete methods
def apply[U, V](eqs: FiniteEquationSystem[U, V])(start: InputAssignment[U, V], ordering: HierarchicalOrdering[U], tracer: FixpointSolverTracer[U, V]): IOAssignment[U, V]
Solve a finite equation system.
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
- ordering
a hierarchical ordering which specifies priorities between unknowns (defaults to the hierarchical ordering induce by the depth-first ordering over
eqs
)- start
assignment to start the evaluation (defaults to
eqs.initial
)- tracer
a tracer to track the behaviour of the solver (defaults to the empty tracer)
- Returns:
the solution of the equation system