public class DGraphPrettyPrinter extends AbstractPrettyPrinter<NonTerminal>
marked
Constructor and Description |
---|
DGraphPrettyPrinter(DGraph d) |
Modifier and Type | Method and Description |
---|---|
String |
print() |
copyEasyNames, escapeSymbol, getEasyName, getNextName
Copyright © 2008-2013 Mathias Schwarz.