|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectedu.iastate.anthill.indus.reasoner.EqualClass
| Field Summary | |
private java.util.HashSet |
subClass
|
private java.util.HashSet |
superClass
|
private java.util.HashSet |
termSet
|
| Constructor Summary | |
EqualClass()
|
|
| Method Summary | |
void |
addSubClass(EqualClass ec)
|
void |
addSuperClass(EqualClass ec)
|
void |
addTerm(java.lang.String term)
|
java.lang.Object |
clone()
|
private java.util.Set |
findLoop(EqualClass checkPoint,
java.util.Set visited)
Find one loop that contains the checkPoint |
java.util.Set |
findOneLoop()
|
(package private) java.util.HashSet |
getAllSubEqualClasses()
Get all offspring EC, includes the EC in question itself |
(package private) java.util.HashSet |
getAllSuperEqualClasses()
Get all ancenstor ECs, includes the EC in question itself |
(package private) java.util.HashSet |
getAllSuperTerms()
Get all terms in this term set and all terms in ancenstors' term sets |
java.util.HashSet |
getSubClass()
|
java.util.HashSet |
getSuperClass()
|
java.util.HashSet |
getTermSet()
|
boolean |
isAncestor(EqualClass ec)
Query if this is an ancestor of given ec. |
boolean |
isOffspring(EqualClass ec)
Query if this is a offspring of given ec. |
void |
merge(EqualClass ec,
java.util.Map term2EqualClass)
|
void |
merge(java.util.Set allClass,
java.util.Map term2EqualClass)
|
java.util.Set |
mergeAllLoops(java.util.Map term2EqualClass)
merge all loop contains this node |
void |
removeSubClass(EqualClass ec)
|
void |
removeSuperClass(EqualClass ec)
|
java.lang.String |
toString()
|
(package private) javax.swing.tree.TreeNode |
visualize()
Return a tree for the EC and all it offsprings |
| Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
private java.util.HashSet termSet
private java.util.HashSet superClass
private java.util.HashSet subClass
| Constructor Detail |
public EqualClass()
| Method Detail |
public java.lang.Object clone()
public java.lang.String toString()
public void addTerm(java.lang.String term)
public void merge(EqualClass ec,
java.util.Map term2EqualClass)
public void merge(java.util.Set allClass,
java.util.Map term2EqualClass)
public java.util.Set mergeAllLoops(java.util.Map term2EqualClass)
term2EqualClass - Map
public java.util.Set findOneLoop()
private java.util.Set findLoop(EqualClass checkPoint,
java.util.Set visited)
checkPoint - EqualClass
public void addSubClass(EqualClass ec)
public void removeSubClass(EqualClass ec)
public void addSuperClass(EqualClass ec)
public void removeSuperClass(EqualClass ec)
java.util.HashSet getAllSuperTerms()
java.util.HashSet getAllSuperEqualClasses()
java.util.HashSet getAllSubEqualClasses()
public java.util.HashSet getSubClass()
public java.util.HashSet getSuperClass()
public java.util.HashSet getTermSet()
javax.swing.tree.TreeNode visualize()
public boolean isOffspring(EqualClass ec)
ec - EqualClass
public boolean isAncestor(EqualClass ec)
ec - EqualClass
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||