| Package | Description |
|---|---|
| graphloaders.dotloader.parser |
| Modifier and Type | Method and Description |
|---|---|
DotReadLevel |
DotReader.getReadStackTopElem() |
| Modifier and Type | Method and Description |
|---|---|
java.util.Stack<DotReadLevel> |
DotReader.getReadStack() |
| Constructor and Description |
|---|
DotReadLevel(boolean recordVertices,
DotReadLevel previousLevel,
DotReader source) |