AbstractElementBuffer.InsertBuffer
and AbstractSolutionBuffer.InsertSolutionBuffer
and the
changes to how truth maintenance is handled (by rule rewrites).public class SPOAssertionBuffer extends AbstractSPOBuffer implements ISPOAssertionBuffer
ISPO
s and optional Justification
s 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
Justification s for entailments. |
capacity, filter, numStmts, stmts
DEBUG, 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, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
add, isEmpty, size
protected final boolean justify
Justification
s 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 SPO
s that the buffer can hold before it
is flush()
ed.justified
- true iff the Truth Maintenance strategy requires that we
focusStore Justification
s 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 SPO
s that the buffer can hold before it
is flush()
ed.justified
- true iff the Truth Maintenance strategy requires that we
focusStore Justification
s for entailments.changeLog
- optional change log for change notificationpublic AbstractTripleStore getFocusStore()
public int getJustificationCount()
ISPOAssertionBuffer
getJustificationCount
in interface ISPOAssertionBuffer
protected boolean nearCapacity()
nearCapacity
in class AbstractSPOBuffer
public int flush()
ISPOBuffer
flush
in interface ISPOBuffer
flush
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 ISPOAssertionBuffer
nearCapacity()
,
flush()
public void dump(AbstractTripleStore store)
AbstractSPOBuffer
System.err
.dump
in class AbstractSPOBuffer
store
- Used to resolve the term identifiers to Value
s.Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.