public class CR7RRule extends Object implements RObserverRule
Constructor and Description |
---|
CR7RRule()
Constructs a new completion rule CR bottom (R).
|
public boolean apply(ClassifierStatus status, int property, int leftClass, int rightClass)
RObserverRule
apply
in interface RObserverRule
status
- classifier statusproperty
- object property to be appliedleftClass
- left class to be appliedrightClass
- right class to be appliedtrue
if and only if the rule was appliedCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.