Advancing

EdgeType

All

BoxLocation

Assignment

scalafix

addString

IterableFunction

apply

Body Box BoxAssignment EquationSystem DFOrdering FiniteEquationSystem FiniteFixpointSolver GraphEquationSystem GraphOrdering HierarchicalOrdering HierarchicalOrderingSolver KleeneSolver PriorityWorkListSolver RoundRobinSolver WorkListSolver PriorityWorkListSolver WorkListSolver Domain Magma MapIterableFunction Relation

ascendingBegins

FixpointSolverListener DebugListener FixpointSolverListenerAdapter