public class PrettyOutputStateManager
extends java.lang.Object
Constructor and Description |
---|
PrettyOutputStateManager(NetGraph net) |
Modifier and Type | Method and Description |
---|---|
void |
makeGraphOutputReady() |
void |
revertNetGraphToPreviousState() |
public PrettyOutputStateManager(NetGraph net)