public class SR3Rule extends Object implements SaturationRule
Constructor and Description |
---|
SR3Rule(NormalizedIntegerAxiomFactory factory,
IntegerEntityManager entityManager)
Constructs a new SR-3 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 SR3Rule(NormalizedIntegerAxiomFactory factory, IntegerEntityManager entityManager)
factory
- factoryentityManager
- entity managerpublic 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.