jtp.rs
Class SecondaryProofStorageWriter

java.lang.Object
  |
  +--jtp.rs.SecondaryProofStorageWriter

All Implemented Interfaces:

Serializable

public class SecondaryProofStorageWriter

extends Object

implements Serializable

See Also:

Serialized Form

Constructor Summary

SecondaryProofStorageWriter(ObjectStorage ost)

Method Summary

void	readIndex(File f)
boolean	storeProof(ReasoningStep rs) Files the proof away in secondary storage.
void	writeIndex(File f)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SecondaryProofStorageWriter

public SecondaryProofStorageWriter(ObjectStorage ost)

Method Detail

storeProof

public boolean storeProof(ReasoningStep rs)
                   throws IOException

Files the proof away in secondary storage.

Parameters:

rs - the proof to store

Returns:

true if the storage now contains the proof for the goal of the supplied reasoning step. It can be either the reasoning step itself which we have just put there, or some other proof for the same goal that had already been in the storage. Returns false if the proof could not be stored (because the goal is inappropriate.)

IOException

writeIndex

public void writeIndex(File f)
                throws IOException

IOException

readIndex

public void readIndex(File f)
               throws IOException

IOException