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.lattice
/
Domain
/
Ops
Ops
class
Ops
(
lhs:
A
)
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
def
<
(
rhs:
A
):
Boolean
def
<=
(
rhs:
A
):
Boolean
def
>
(
rhs:
A
):
Boolean
def
>=
(
rhs:
A
):
Boolean
def
equiv
(
rhs:
A
):
Boolean
def
upperBound
(
rhs:
A
):
A