public class DotExporter<S,E,C>
extends java.lang.Object
| Constructor and Description |
|---|
DotExporter(AbstractTransitionModel<S,E,C> model,
java.lang.String name) |
| Modifier and Type | Method and Description |
|---|---|
void |
asDot(java.io.OutputStream os,
boolean includeFromAllTransitions) |
public DotExporter(AbstractTransitionModel<S,E,C> model, java.lang.String name)