it.unich.scalafix
The FixpointSolver object contains many enumerations and auxiliary classes which are used by other fixpoint solvers.
FixpointSolver
This exception is thrown when the parameters provided to the Driver are not correct.
Driver
An enumeration with the solvers supported by this driver.
The
FixpointSolver
object contains many enumerations and auxiliary classes which are used by other fixpoint solvers.