minimizers

Type Members

1. final class CollapseShifts[T[_[_]]] extends Minimizer[T]

   

2. final class MergeReductions[T[_[_]]] extends Minimizer[T]

   

3. trait Minimizer[T[_[_]]] extends QSUTTypes[T]

   

4. final class ShiftProjectBelow[T[_[_]]] extends Minimizer[T]