AbstractElementBuffer.InsertBuffer and AbstractSolutionBuffer.InsertSolutionBuffer and the
changes to how truth maintenance is handled (by rule rewrites).public class SPOAssertionBuffer extends AbstractSPOBuffer implements ISPOAssertionBuffer
ISPOs and optional Justifications that is
flushed on overflow into a backing AbstractTripleStore.| Modifier and Type | Field and Description |
|---|---|
protected IChangeLog |
changeLog
Deprecated.
Used for change set notification (optional).
|
protected boolean |
justify
Deprecated.
true iff the Truth Maintenance strategy requires that we focusStore
Justifications for entailments. |
capacity, filter, numStmts, stmtsDEBUG, INFO, log| Constructor and Description |
|---|
SPOAssertionBuffer(AbstractTripleStore focusStore,
AbstractTripleStore db,
IElementFilter<ISPO> filter,
int capacity,
boolean justified)
Deprecated.
Create a buffer.
|
SPOAssertionBuffer(AbstractTripleStore focusStore,
AbstractTripleStore db,
IElementFilter<ISPO> filter,
int capacity,
boolean justified,
IChangeLog changeLog)
Deprecated.
Create a buffer.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
add(SPO stmt,
Justification justification)
Deprecated.
When the buffer is
nearCapacity() the statements in the buffer
will be flushed into the backing focusStore. |
void |
dump(AbstractTripleStore store)
Deprecated.
Dumps the state of the buffer on
System.err. |
int |
flush()
Deprecated.
Flush any buffered statements to the backing store.
|
AbstractTripleStore |
getFocusStore()
Deprecated.
The focusStore on which the entailments computed by closure will be
written.
|
int |
getJustificationCount()
Deprecated.
The #of justifications currently in the buffer.
|
protected boolean |
nearCapacity()
Deprecated.
Returns true iff there is no more space remaining in the buffer.
|
add, get, getTermDatabase, isEmpty, size, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitadd, isEmpty, sizeprotected final boolean justify
Justifications for entailments.protected final IChangeLog changeLog
public SPOAssertionBuffer(AbstractTripleStore focusStore, AbstractTripleStore db, IElementFilter<ISPO> filter, int capacity, boolean justified)
focusStore - The focusStore on which the entailments computed by closure
will be written (required). This is either the database or a
temporary focusStore used during incremental TM.db - The database in which the terms are defined (required).filter - Option filter. When present statements matched by the filter
are NOT retained by the SPOAssertionBuffer and will
NOT be added to the focusStore.capacity - The maximum SPOs that the buffer can hold before it
is flush()ed.justified - true iff the Truth Maintenance strategy requires that we
focusStore Justifications for entailments.public SPOAssertionBuffer(AbstractTripleStore focusStore, AbstractTripleStore db, IElementFilter<ISPO> filter, int capacity, boolean justified, IChangeLog changeLog)
focusStore - The focusStore on which the entailments computed by closure
will be written (required). This is either the database or a
temporary focusStore used during incremental TM.db - The database in which the terms are defined (required).filter - Option filter. When present statements matched by the filter
are NOT retained by the SPOAssertionBuffer and will
NOT be added to the focusStore.capacity - The maximum SPOs that the buffer can hold before it
is flush()ed.justified - true iff the Truth Maintenance strategy requires that we
focusStore Justifications for entailments.changeLog - optional change log for change notificationpublic AbstractTripleStore getFocusStore()
public int getJustificationCount()
ISPOAssertionBuffergetJustificationCount in interface ISPOAssertionBufferprotected boolean nearCapacity()
nearCapacity in class AbstractSPOBufferpublic int flush()
ISPOBufferflush in interface ISPOBufferflush in class AbstractSPOBuffer#flush(boolean)public boolean add(SPO stmt, Justification justification)
nearCapacity() the statements in the buffer
will be flushed into the backing focusStore.add in interface ISPOAssertionBuffernearCapacity(),
flush()public void dump(AbstractTripleStore store)
AbstractSPOBufferSystem.err.dump in class AbstractSPOBufferstore - Used to resolve the term identifiers to Values.Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.