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) |