Parameters for this driver
Parameters for this driver
the real solver to use
an optional initial assignment
where to put boxes
how to apply boxes (standard, localized, etc...)
single phase, two phase, warrowing
restart strategy to apply in supported solvers
a box used for widenings
a box used for narrowings
a fixpoint solver tracer
Returns parameters for solving an equation system with the standard CC77 approach
Returns parameters for solving an equation system with the standard CC77 approach
the real solver to use
a box used for widenings
a box used for narrowings
Solves the equation system using the parameters specified in p.
Solves the equation system using the parameters specified in p.
the equation system to solve
the parameters for the solver
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.