ScalaFix
ScalaFix is a library for solving equation systems trough iterative methods. Although it strives to be as general as possible, its main use is for equation systems over partially ordered set, such as the data-flow equations in static program analysis.
Packages
This package contains some definitions used by the ScalaFix library.
This package contains some definitions used by the ScalaFix library.
This package handles assignments of values to unknowns.
This package handles assignments of values to unknowns.
This package handles equation systems with a finite number of unknowns.
This package handles equation systems with a finite number of unknowns.
This package handles equation systems derived from a control-flow graph, which are a particular case of the equation system with a finite number of unknowns.
This package handles equation systems derived from a control-flow graph, which are a particular case of the equation system with a finite number of unknowns.
This package provides an high-level API for solving equation systems using well-defind standard procedures.
This package provides an high-level API for solving equation systems using well-defind standard procedures.
This package handles equation systems with an infinite number of unknowns.
This package handles equation systems with an infinite number of unknowns.
This package contains utility classes used by the rest of ScalaFix.
This package contains utility classes used by the rest of ScalaFix.