case class Parameters[U, V](start: U => V, solver: Solver, comboLocation: ComboLocation, comboScope: ComboScope, comboStrategy: ComboStrategy, restartStrategy: RestartStrategy, widenings: ComboAssignment[U, V], narrowings: ComboAssignment[U, V], tracer: FixpointSolverTracer[U, V])
Parameters for the commodity solvers in the highlevel package.
- Value parameters:
- comboLocation
where to put widenings and narrowings.
- comboScope
how to apply widenings and narrowings (standard, localized, etc...).
- comboStrategy
strategies for applying widening and arrowings.
- narrowingComboAssn
an assignment of narrowings to unknowns
- restartStrategy
restart strategy to apply in supported solvers.
- solver
the real solver to use.
- start
an initial assignment.
- tracer
a fixpoint solver tracer.
- widenings
an assignment of widenings to unknowns
- Companion:
- object
- Source:
- Parameters.scala