public class RChain extends Object implements RObserverRule
Constructor and Description |
---|
RChain(List<RObserverRule> ch)
Constructs a new chain for the set of relations.
|
Modifier and Type | Method and Description |
---|---|
boolean |
apply(ClassifierStatus status,
int property,
int leftClass,
int rightClass)
Applies the completion rule considering the specified relation entry.
|
List<RObserverRule> |
getList()
Returns the list of relation observers.
|
String |
toString() |
public RChain(List<RObserverRule> ch)
ch
- list of rulespublic 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 appliedpublic List<RObserverRule> getList()
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.