com.bigdata.rdf.inf
Class Justification.VisitedSPOSet

java.lang.Object
  com.bigdata.rdf.inf.Justification.VisitedSPOSet

Enclosing class:

Justification

public static class Justification.VisitedSPOSet
extends Object

A collection of SPO objects (either fully bound or query patterns) that have already been visited.

Note: This is a very specialized SPO set implementation. How it is created and destroyed is tightly integrated with how TruthMaintenance works.

Version:

$Id: Justification.java 2265 2009-10-26 12:51:06Z thompsonbry $

Author:

Bryan Thompson

TODO:

this class is public only because of TestJustifications. it should be private.

Constructor Summary

Justification.VisitedSPOSet(TemporaryRawStore tempStore)
Create an SPO set backed by a BTree on the temporary store associated with the [focusStore] on which truth maintenance is being performed.

Method Summary

boolean	add(ISPO spo)
void	close() Discards anything written on the btree.
protected void	finalized()
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

Justification.VisitedSPOSet

public Justification.VisitedSPOSet(TemporaryRawStore tempStore)

Create an SPO set backed by a BTree on the temporary store associated with the [focusStore] on which truth maintenance is being performed. The data written on this set will not last longer than Justification.isGrounded(InferenceEngine, TempTripleStore, AbstractTripleStore, SPO, boolean, boolean) . When that method exists it close()s this Justification.VisitedSPOSet which causes the BTree to be discarded but DOES NOT close the backing store since it is still in use by TruthMaintenance.

Parameters:

tempStore - The backing store on which the set will be maintained. This is the [focusStore] for TruthMaintenance.

Method Detail

add

public boolean add(ISPO spo)

Parameters:

spo -

Returns:

true iff the set did not already contain the element (i.e., if the element was added to the set).

size

public int size()

close

public void close()

Discards anything written on the btree. If nothing has been written on the backing store yet then nothing ever will be.

finalized

protected void finalized()
                  throws Exception

Throws:

Exception