See: Description
| Class | Description |
|---|---|
| DuplicateRemover | |
| FixedComponentRemover |
Detect fixed components and propagate their fixed value to their targets
|
| ModelReducer |
Wrap
ReduceOperation to properly remove variables from models. |
| PatternReduction | |
| ReduceOperation |
Rewrite a logical function to remove a regulator.
|
| ReductionModifier | |
| ReductionService |
Orchestrator for model reduction tools
|
Copyright © 2012–2020. All rights reserved.