FiniteFixpointSolver
object FiniteFixpointSolver
Commodity solver for finite and graph-based equation systems. It takes some parameters as input and plans a sequence of actions in order to obtain the desired solutions as the output.
- Source:
- FiniteFixpointSolver.scala
Value members
Concrete methods
def apply[U, V, E, EQS <: GraphEquationSystem[U, V, E, LazyRef(...)]](eqs: EQS, params: Parameters[U, V])(using evidence$1: Domain[V]): MutableAssignment[U, V]
Solves the equation system using the parameters specified in params.
Solves the equation system using the parameters specified in params.
- Value parameters:
- eqs
the equation system to solve.
- params
the parameters for the solver.
- Source:
- FiniteFixpointSolver.scala