| Class Summary | |
abstract class
|
CachedFileStorage
(private file1 : java.io.File) extends java.lang.Thread with Logged
|
abstract class
|
Index
[A] extends (Node) => A
an Index returns some unique key that is part of a node
|
class
|
SetStorage
(file : java.io.File) extends CachedFileStorage
A persistent store with set semantics. This class allows to add and remove
trees, but never contains two structurally equal trees.
|