public class REntryImpl extends Object implements REntry, Comparable<REntry>
RObserverRule
Constructor and Description |
---|
REntryImpl(int prop,
int leftCl,
int rightCl)
Constructs a new relation entry (R-entry).
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(REntry other) |
boolean |
equals(Object o) |
int |
getLeftClass()
Returns the class in the left part of this entry.
|
int |
getProperty()
Returns the class in the left part of this entry.
|
int |
getRightClass()
Returns the object property of this entry.
|
int |
hashCode() |
boolean |
isREntry()
Tells whether this entry is a relation entry.
|
boolean |
isSEntry()
Tells whether this entry is a subsumer entry.
|
String |
toString() |
public REntryImpl(int prop, int leftCl, int rightCl)
prop
- object property identifierleftCl
- class identifier of left componentrightCl
- class identifier of right componentpublic int compareTo(REntry other)
compareTo
in interface Comparable<REntry>
public int getLeftClass()
REntry
getLeftClass
in interface REntry
public int getProperty()
REntry
getProperty
in interface REntry
public int getRightClass()
REntry
getRightClass
in interface REntry
public boolean isREntry()
XEntry
public boolean isSEntry()
XEntry
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.