Uses of Class
de.saar.chorus.domgraph.graph.CompactificationRecord

Packages that use CompactificationRecord

Package	Description
de.saar.chorus.domgraph.chart	Provides classes for working with dominance charts.
de.saar.chorus.domgraph.graph	Provides basic classes for representing labelled dominance graphs and basic algorithms running on them.

Uses of CompactificationRecord in de.saar.chorus.domgraph.chart

Fields in de.saar.chorus.domgraph.chart declared as CompactificationRecord

Modifier and Type	Field	Description
protected CompactificationRecord	RewritingRtg.compactificationRecord

Uses of CompactificationRecord in de.saar.chorus.domgraph.graph

Methods in de.saar.chorus.domgraph.graph with parameters of type CompactificationRecord

Modifier and Type	Method	Description
DomGraph	DomGraph.compactify(CompactificationRecord record)	Computes a compact version of this graph.