edu.iastate.anthill.indus.reasoner
Class EqualClass

java.lang.Object
  extended byedu.iastate.anthill.indus.reasoner.EqualClass

public class EqualClass
extends java.lang.Object

Since:
2005-04-08
Author:
Jie Bao

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

termSet

private java.util.HashSet termSet

superClass

private java.util.HashSet superClass

subClass

private java.util.HashSet subClass
Constructor Detail

EqualClass

public EqualClass()
Method Detail

clone

public java.lang.Object clone()

toString

public java.lang.String toString()
Returns:
String
Since:
2005-04-08

addTerm

public void addTerm(java.lang.String term)

merge

public void merge(EqualClass ec,
                  java.util.Map term2EqualClass)

merge

public void merge(java.util.Set allClass,
                  java.util.Map term2EqualClass)

mergeAllLoops

public java.util.Set mergeAllLoops(java.util.Map term2EqualClass)
merge all loop contains this node

Parameters:
term2EqualClass - Map
Returns:
Set - All merged Set, expect this EC, null if not loop is found Set of EqualClass

findOneLoop

public java.util.Set findOneLoop()

findLoop

private java.util.Set findLoop(EqualClass checkPoint,
                               java.util.Set visited)
Find one loop that contains the checkPoint

Parameters:
checkPoint - EqualClass
Returns:
Set
Since:
2005-04-09

addSubClass

public void addSubClass(EqualClass ec)

removeSubClass

public void removeSubClass(EqualClass ec)

addSuperClass

public void addSuperClass(EqualClass ec)

removeSuperClass

public void removeSuperClass(EqualClass ec)

getAllSuperTerms

java.util.HashSet getAllSuperTerms()
Get all terms in this term set and all terms in ancenstors' term sets

Returns:
HashSet - Set of String
Since:
2005-04-09

getAllSuperEqualClasses

java.util.HashSet getAllSuperEqualClasses()
Get all ancenstor ECs, includes the EC in question itself

Returns:
HashSet - Set of EqualClass
Since:
2005-04-11

getAllSubEqualClasses

java.util.HashSet getAllSubEqualClasses()
Get all offspring EC, includes the EC in question itself

Returns:
HashSet
Since:
2005-04-11

getSubClass

public java.util.HashSet getSubClass()

getSuperClass

public java.util.HashSet getSuperClass()

getTermSet

public java.util.HashSet getTermSet()

visualize

javax.swing.tree.TreeNode visualize()
Return a tree for the EC and all it offsprings

Returns:
TreeNode
Since:
2004-04-11

isOffspring

public boolean isOffspring(EqualClass ec)
Query if this is a offspring of given ec. If this is in the Sub set of given ec, return true, else return false;

Parameters:
ec - EqualClass
Returns:
boolean
Since:
2005-04-12

isAncestor

public boolean isAncestor(EqualClass ec)
Query if this is an ancestor of given ec. If this is in the Super set of given ec, return true, else return false;

Parameters:
ec - EqualClass
Returns:
boolean
Since:
2005-04-12