package minimizer
A framework for applying batches of minimization rules to dependency graphs, possibly to fixed point.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- minimizer
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- class DefaultRuleDependencyGraphMinimizer extends RuleDependencyGraphMinimizer
-
abstract
class
MinimizationRule extends Logging
A minimization rule.
- abstract class MinimizationRuleExecutor extends Logging
- abstract class RuleDependencyGraphMinimizer extends MinimizationRuleExecutor
Value Members
- object MinimizationRuleExecutor