private static class ArrayListKBaseImpl.DataStorage extends Object
Modifier and Type | Field and Description |
---|---|
private Term |
agentName |
private HashMap |
dataStorage |
Constructor and Description |
---|
DataStorage(Term agentName) |
Modifier and Type | Method and Description |
---|---|
protected void |
add(Formula phi)
Add the formula phi to the DataStorage if not already in
|
protected boolean |
contains(Formula phi)
Return true is the DataStorage contains phi
|
Term |
getAgentNameAttribute() |
private ArrayList |
getFacts(Formula phi) |
private int |
hashCode(Formula phi) |
private QueryResult |
query(Formula pattern)
Tries to match the formula on each data stored in the base.
|
protected void |
remove(Formula phi)
Remove phi from the DataStorage
|
private void |
removeAll(Formula pattern)
Removes all the formulae that match the specified pattern.
|
void |
removeFormula(Finder finder) |
protected int |
size()
Return the size of the DataStorage
|
ArrayList |
toStrings()
Return the content of the DataStorage as a array of strings
|
public DataStorage(Term agentName)
public Term getAgentNameAttribute()
private int hashCode(Formula phi)
protected void add(Formula phi)
phi
- protected boolean contains(Formula phi)
phi
- protected void remove(Formula phi)
phi
- private void removeAll(Formula pattern)
pattern
- an SL patternpublic void removeFormula(Finder finder)
private QueryResult query(Formula pattern)
pattern
- a pattern to test on each data of the baseprotected int size()
public ArrayList toStrings()