abstract interface for CompressedGraph.java, implementing it