ScalaFix/it.unich.scalafix.highlevel/Solver

Solver

enum Solver

The solvers supported by the high level fixpoint solvers.

Source:
Parameters.scala
trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Enum entries