FiniteFixpointSolver
This solver is a commodity interface for the other finite fixpoint solvers. It takes some parameters as inputs and plans a sequence of actions in order to obtain the desired solutions as the output.
Type members
Classlikes
Parameters for this driver
Parameters for this driver
- Value parameters:
- boxlocation
where to put boxes
- boxscope
how to apply boxes (standard, localized, etc...)
- boxstrategy
single phase, two phase, warrowing
- narrowingBoxAssn
a box used for narrowings
- restartstrategy
restart strategy to apply in supported solvers
- solver
the real solver to use
- start
an optional initial assignment
- tracer
a fixpoint solver tracer
- wideningBoxAssn
a box used for widenings
Value members
Concrete methods
Returns parameters for solving an equation system with the standard CC77 approach
Returns parameters for solving an equation system with the standard CC77 approach
- Value parameters:
- narrowingBoxAssn
a box used for narrowings
- solver
the real solver to use
- wideningBoxAssn
a box used for widenings
Solves the equation system using the parameters specified in p.
Solves the equation system using the parameters specified in p.
- Value parameters:
- eqs
the equation system to solve
- params
the parameters for the solver