Params
case class Params[U, V](solver: Solver, start: Option[InputAssignment[U, V]], boxlocation: BoxLocation, boxscope: BoxScope, boxstrategy: BoxStrategy, restartstrategy: RestartStrategy, wideningBoxAssn: BoxAssignment[U, V], narrowingBoxAssn: BoxAssignment[U, V], tracer: FixpointSolverTracer[U, V])
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
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any