public interface SObserverRule
Modifier and Type | Method and Description |
---|---|
boolean |
apply(ClassifierStatus status,
int subClass,
int superClass)
Applies the completion rule considering the specified subsumption entry.
|
boolean apply(ClassifierStatus status, int subClass, int superClass)
status
- classifier statussubClass
- sub class to be appliedsuperClass
- super class to be appliedtrue
if and only if the rule was appliedCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.