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$

Author:

Bryan Thompson

Constructor Summary

Constructors

Constructor and Description
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

Methods

Modifier and Type	Method and Description
boolean	add(ISPO spo)
void	close() Discards anything written on the btree.
protected void	finalized()
long	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 long 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