core
core
it.unich.scalafix
Box
Box
ImmutableBox
BoxAssignment
BoxAssignment
EquationSystem
EquationSystem
EquationSystemBase
EquationSystemTracer
EquationSystemTracer
DebugEquationSystemTracer
EmptyEquationSystemTracer
EquationSystemTracerAdapter
FixpointSolver
BoxLocation
BoxScope
BoxStrategy
DriverBadParameters
RestartStrategy
Solver
FixpointSolverTracer
FixpointSolverTracer
DebugFixpointSolverTracer
EmptyFixpointSolverTracer
PerformanceFixpointSolverTracer
FixpointSolverTracerAdapter
SimpleEquationSystem
it.unich.scalafix.assignments
IOAssignment
IOAssignment
HashBasedIOAssignment
InputAssignment
InputAssignment
Conditional
Default
FromAssignment
FromMap
it.unich.scalafix.finite
DFOrdering
DFOrdering
EdgeType
FiniteEquationSystem
FiniteEquationSystem
FiniteFixpointSolver
Params
GraphEquationSystem
GraphEquationSystem
GraphOrdering
GraphOrdering
HierarchicalOrdering
HierarchicalOrdering
HOElement
Left
Right
Val
HierarchicalOrderingSolver
KleeneSolver
PriorityWorkListSolver
RoundRobinSolver
SimpleFiniteEquationSystem
SimpleGraphEquationSystem
WorkListSolver
it.unich.scalafix.infinite
PriorityWorkListSolver
DynamicPriority
WorkListSolver
it.unich.scalafix.lattice
Domain
Ops
Domain
LowPriorityImplicitDomains
Magma
Ops
Magma
it.unich.scalafix.utils
Relation
Relation
core
/
it.unich.scalafix
/
FixpointSolver
/
Solver
Solver
object
Solver
extends
Enumeration
An enumeration with the solvers supported by this driver.
Graph
Supertypes
Self type
class
Enumeration
trait
Serializable
class
Object
trait
Matchable
class
Any
Solver
.type
Type members
Value members
Type members
Inherited classlikes
@SerialVersionUID
(value = -3501153230598116017L)
protected
class
Val
Inherited from:
Enumeration
@SerialVersionUID
(value = 7091335633555234129L)
abstract
class
Value
Inherited from:
Enumeration
object
ValueOrdering
Inherited from:
Enumeration
@SerialVersionUID
(value = 7229671200427364242L)
class
ValueSet
Inherited from:
Enumeration
@SerialVersionUID
(value = 3L)
object
ValueSet
Inherited from:
Enumeration
Types
type
Solver
=
Value
Value members
Inherited methods
final protected
def
Value
(
i:
Int
,
name:
String
):
Value
Inherited from:
Enumeration
final protected
def
Value
(
name:
String
):
Value
Inherited from:
Enumeration
final protected
def
Value
(
i:
Int
):
Value
Inherited from:
Enumeration
final protected
def
Value
:
Value
Inherited from:
Enumeration
final
def
apply
(
x:
Int
):
Value
Inherited from:
Enumeration
final
def
maxId
:
Int
Inherited from:
Enumeration
protected
def
readResolve
():
AnyRef
Inherited from:
Enumeration
override
def
toString
():
String
Definition Classes
Enumeration
->
Any
Inherited from:
Enumeration
def
values
:
ValueSet
Inherited from:
Enumeration
final
def
withName
(
s:
String
):
Value
Inherited from:
Enumeration
Concrete fields
val
HierarchicalOrderingSolver
:
Value
val
KleeneSolver
:
Value
val
PriorityWorkListSolver
:
Value
val
RoundRobinSolver
:
Value
val
WorkListSolver
:
Value