| BadFormatException |
Exception thrown when a format-error is detected when reading a graph (e.g.,
non-matching check bytes).
|
| BadMagicNumberException |
Exception thrown when there is a mismatch between expected and actual magic
number.
|
| BadVersionException |
Exception thrown when the version of the file is not at least the expected
one.
|
| BinaryReader |
Base class for writing binary file.
|
| BinaryWriter |
Base class for writing binary file.
|
| GraphReader |
Base interface for classes that can read graph.
|
| GraphReaderObserver |
Base interface that should be implemented by classes that want to observe the
reading of a graph by a GraphReader. |
| PathReader |
Base interface that should be implemented by class used to read paths.
|
| PathWriter |
Base interface that should be implemented by class used to write paths.
|