it.unich.scalafix.finite.GraphEquationSystem
A mixin for GraphEquationSystem which implements the methods withLocalizedBoxes and withLocalizedWarrowing.
withLocalizedBoxes
withLocalizedWarrowing
A mixin for GraphEquationSystem which implements the methods
withLocalizedBoxes
andwithLocalizedWarrowing
.