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.finite
/
HierarchicalOrdering
/
Left
Left
case
object
Left
extends
HOElement
[
Nothing
]
Graph
Supertypes
Self type
trait
Singleton
trait
Product
trait
Mirror
trait
Serializable
trait
Product
trait
Equals
class
HOElement
[
Nothing
]
class
Object
trait
Matchable
class
Any
Left
.type
Type members
Value members
Type members
Inherited types
type
MirroredElemLabels
=
EmptyTuple
Inherited from:
Singleton
type
MirroredElemTypes
=
EmptyTuple
Inherited from:
Singleton
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from:
Mirror
type
MirroredMonoType
=
Singleton
Inherited from:
Singleton
type
MirroredType
=
Singleton
Inherited from:
Singleton
Value members
Concrete methods
override
def
toString
:
String
Definition Classes
Any
Inherited methods
def
fromProduct
(
p:
Product
):
MirroredMonoType
Inherited from:
Singleton
def
productElementNames
:
Iterator
[
String
]
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from:
Product