Package de.saar.chorus.domgraph.graph

Class CompactificationRecord

java.lang.Object

de.saar.chorus.domgraph.graph.CompactificationRecord

public class CompactificationRecord
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CompactificationRecord.NodeChildPair

Constructor Summary

Constructors

Constructor	Description
CompactificationRecord()

Method Summary

Modifier and Type	Method	Description
void	addRecord(String root, List<CompactificationRecord.NodeChildPair> path)
DomGraph	getCompactGraph()
int	getNumberOfChildren(String root)
List<CompactificationRecord.NodeChildPair>	getRecord(String root, int hole)
void	setCompactGraph(DomGraph compact)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

CompactificationRecord

public CompactificationRecord()

Method Details

addRecord

public void addRecord(String root,
 List<CompactificationRecord.NodeChildPair> path)

getRecord

public List<CompactificationRecord.NodeChildPair> getRecord(String root,
 int hole)

getNumberOfChildren

public int getNumberOfChildren(String root)

setCompactGraph

public void setCompactGraph(DomGraph compact)

getCompactGraph

public DomGraph getCompactGraph()

toString

public String toString()

Overrides:

toString in class Object