public interface NormalizationRule
Modifier and Type | Method and Description |
---|---|
Set<IntegerAxiom> |
apply(IntegerAxiom axiom)
Applies the normalization rule to a specified axiom.
|
Set<IntegerAxiom> apply(IntegerAxiom axiom)
axiom
- axiom to be processedCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.