edu.iastate.anthill.indus.reasoner
Class EqualClassGraph

java.lang.Object
  edu.iastate.anthill.indus.reasoner.EqualClassGraph

public class EqualClassGraph

extends java.lang.Object

The set of EqualClass trees

Since:

2005-04-11

Author:

Jie Bao

Field Summary

(package private) java.util.Set

forest

Constructor Summary

EqualClassGraph()

Method Summary

(package private) void	addRoot(EqualClass ec)
void	cleanNonRoot() cleanNonRoot
void	clear()
java.lang.Object	clone()
java.lang.Object	clone(java.util.Map oldEC2newEC)
(package private) java.util.Set	getAllEC() Get all EC in this forest
void	removeLoop(java.util.Map term2EqualClass)
(package private) void	removeRoot(EqualClass ec)
(package private) JTreeEx	visualize()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

forest

java.util.Set forest

Constructor Detail

EqualClassGraph

public EqualClassGraph()

Method Detail

clear

public void clear()

addRoot

void addRoot(EqualClass ec)

removeRoot

void removeRoot(EqualClass ec)

getAllEC

java.util.Set getAllEC()

Get all EC in this forest

Returns:

Set

clone

public java.lang.Object clone(java.util.Map oldEC2newEC)

clone

public java.lang.Object clone()

visualize

JTreeEx visualize()

cleanNonRoot

public void cleanNonRoot()

cleanNonRoot

removeLoop

public void removeLoop(java.util.Map term2EqualClass)

Since:

2005-04-13