public class SR4Rule extends Object implements SaturationRule
Constructor and Description |
---|
SR4Rule(NormalizedIntegerAxiomFactory factory)
Constructs a new SR-4 rule.
|
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
apply(Set<NormalizedIntegerAxiom> originalSet)
Applies the saturation rule to a specified set of normalized axioms.
|
public SR4Rule(NormalizedIntegerAxiomFactory factory)
factory
- factorypublic Set<NormalizedIntegerAxiom> apply(Set<NormalizedIntegerAxiom> originalSet)
SaturationRule
apply
in interface SaturationRule
originalSet
- set of normalized axiomsCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.