public class CR6RTrRule extends Object implements RObserverRule
Constructor and Description |
---|
CR6RTrRule()
Constructs a new completion rule CR-6 transitive.
|
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.