public class NotMemory extends BetaMemory
BetaMemory.IndexedConstraintMemory
Modifier and Type | Field and Description |
---|---|
protected boolean |
delay
The delay flag.
|
protected java.util.Map |
mappings
The mappings (lefttuple -> {rightvalues}).
|
resultmem, state, xmems
Constructor and Description |
---|
NotMemory(IOAVState state)
Create a new not memory.
|
Modifier and Type | Method and Description |
---|---|
void |
addMapping(IOAVState state,
Tuple key,
java.lang.Object value)
Add a mapping for the key to the memory.
|
java.util.Set |
getMappings(Tuple key)
Get the mappings for a given key.
|
boolean |
isDelay()
Get the delay flag.
|
boolean |
removeMapping(Tuple key,
java.lang.Object value)
Remove a mapping for the key from the memory.
|
void |
removeMappings(Tuple key)
Remove all mappings of the tuple from memory
|
void |
setDelay(boolean delay)
Set the delay flag.
|
int |
size()
Get the size of the memory.
|
java.lang.String |
toString()
Get the string representation.
|
addObject, addResultTuple, addTuple, getIndexedMemory, getObjects, getResultMemory, getTuples, removeObject, removeResultTuple, removeTuple
protected java.util.Map mappings
protected boolean delay
public NotMemory(IOAVState state)
public void addMapping(IOAVState state, Tuple key, java.lang.Object value)
public boolean removeMapping(Tuple key, java.lang.Object value)
public void removeMappings(Tuple key)
public java.util.Set getMappings(Tuple key)
public int size()
size
in class BetaMemory
public void setDelay(boolean delay)
public boolean isDelay()
public java.lang.String toString()
toString
in class BetaMemory