public interface GraphStorage extends Storable<GraphStorage>
Modifier and Type | Method and Description |
---|---|
Directory |
getDirectory() |
EncodingManager |
getEncodingManager() |
StorableProperties |
getProperties() |
boolean |
isNodeRemoved(int index)
Checks if the specified node is marked as removed.
|
void |
markNodeRemoved(int index)
Schedule the deletion of the specified node until an optimize() call happens
|
void |
optimize()
Performs optimization routines like deletion or node rearrangements.
|
String |
toDetailsString() |
close, create, flush, getCapacity, isClosed, loadExisting
Directory getDirectory()
EncodingManager getEncodingManager()
String toDetailsString()
StorableProperties getProperties()
void markNodeRemoved(int index)
boolean isNodeRemoved(int index)
void optimize()
Copyright © 2012–2020. All rights reserved.