core/it.unich.scalafix/FixpointSolver

FixpointSolver

object FixpointSolver

The FixpointSolver object contains many enumerations and auxiliary classes which are used by other fixpoint solvers.

class Object
trait Matchable
class Any

Type members

Classlikes

object BoxLocation extends Enumeration
object BoxScope extends Enumeration
object BoxStrategy extends Enumeration
class DriverBadParameters(msg: String) extends Exception

This exception is thrown when the parameters provided to the Driver are not correct.

This exception is thrown when the parameters provided to the Driver are not correct.

object RestartStrategy extends Enumeration
object Solver extends Enumeration

An enumeration with the solvers supported by this driver.

An enumeration with the solvers supported by this driver.