public interface SaturationRule
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
apply(Set<NormalizedIntegerAxiom> originalSet)
Applies the saturation rule to a specified set of normalized axioms.
|
Set<NormalizedIntegerAxiom> apply(Set<NormalizedIntegerAxiom> originalSet)
originalSet
- set of normalized axiomsCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.