Package de.saar.chorus.domgraph.chart

Interface GraphBasedNonterminal

All Known Implementing Classes:

DecoratedNonterminal, SubgraphNonterminal

public interface GraphBasedNonterminal

Method Summary

Modifier and Type	Method	Description
void	addNode(String node)
Set<String>	getNodes()
String	toString(Set<String> roots)

Method Details

addNode

void addNode(String node)

getNodes

Set<String> getNodes()

toString

String toString(Set<String> roots)