Uses of Interface
jtp.util.ObjectStorage

Packages that use ObjectStorage

jtp.rs	Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.
jtp.util

Uses of ObjectStorage in jtp.rs

Constructors in jtp.rs with parameters of type ObjectStorage

StoredReasoningStep(Object goal, ObjectStorage storage, long location)

SecondaryProofStorageLookup(ObjectStorage ost, File indexFile)

SecondaryProofStorageWriter(ObjectStorage ost)

Uses of ObjectStorage in jtp.util

Classes in jtp.util that implement ObjectStorage

class

FileObjectStorage

Methods in jtp.util that return ObjectStorage

ObjectStorage

ObjectStorage.Handle.getStorage()

Constructors in jtp.util with parameters of type ObjectStorage

ObjectStorage.Handle(ObjectStorage storage, long location)