public class SEntryImpl extends Object implements SEntry, Comparable<SEntry>
SObserverRule
Constructor and Description |
---|
SEntryImpl(int subCl,
int superCl)
Constructs a new subsumer entry (S-entry).
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(SEntry other) |
boolean |
equals(Object o) |
int |
getSubClass()
Returns the subclass of this entry.
|
int |
getSuperClass()
Returns the superclass 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 SEntryImpl(int subCl, int superCl)
subCl
- subclass identifiersuperCl
- superclass identifierpublic int compareTo(SEntry other)
compareTo
in interface Comparable<SEntry>
public int getSubClass()
SEntry
getSubClass
in interface SEntry
public int getSuperClass()
SEntry
getSuperClass
in interface SEntry
public boolean isREntry()
XEntry
public boolean isSEntry()
XEntry
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.