public abstract class EventDatabase extends java.lang.Object implements IEventDatabase
Constructor and Description |
---|
EventDatabase() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.String,com.google.common.collect.Table<java.lang.String,java.lang.String,IntervalList>> |
getFluentValueMVIs() |
long |
getLastTimeStamp() |
java.lang.String |
holdsAt(java.lang.String fluent,
java.lang.String arguments,
long timestamp)
Queries the database to see what value V has at timestamp T in
holdsAt(F(A)=V,T).
|
boolean |
holdsAt(java.lang.String fluent,
java.lang.String arguments,
java.lang.String value,
long timestamp)
Queries the database to see whether holdsAt(F(A)=V,T) holds.
|
IntervalList |
holdsFor(java.lang.String fluent,
java.lang.String arguments,
java.lang.String value)
Queries the database for holdsFor(F(A, I) and returns I.
|
boolean |
holdsFor(java.lang.String fluent,
java.lang.String arguments,
java.lang.String value,
Interval interval)
Queries the database for holdsFor(F(A),I) and returns whether it holds.
|
void |
initiate(java.lang.String fluent,
java.lang.String arguments,
java.lang.String value,
long timestamp)
Will initiate the value V for the fluent F(A) at timestamp T.
|
void |
set(java.lang.String fluent,
java.lang.String arguments,
java.lang.String value,
IntervalList list)
Will set the fluent F(A) to value V for the list of intervals L.
|
void |
setFluentValueMVIs(java.util.Map<java.lang.String,com.google.common.collect.Table<java.lang.String,java.lang.String,IntervalList>> fluentMVIs) |
void |
setLastTimeStamp(long timestamp) |
void |
terminate(java.lang.String fluent,
java.lang.String arguments,
java.lang.String value,
long timestamp)
Will terminate the value V for the fluent F(A) at timestamp T.
|
public java.util.Map<java.lang.String,com.google.common.collect.Table<java.lang.String,java.lang.String,IntervalList>> getFluentValueMVIs()
getFluentValueMVIs
in interface IEventDatabase
public void setFluentValueMVIs(java.util.Map<java.lang.String,com.google.common.collect.Table<java.lang.String,java.lang.String,IntervalList>> fluentMVIs)
setFluentValueMVIs
in interface IEventDatabase
public boolean holdsAt(java.lang.String fluent, java.lang.String arguments, java.lang.String value, long timestamp)
holdsAt
in interface IEventDatabase
fluent
- Farguments
- Avalue
- Vtimestamp
- Tpublic java.lang.String holdsAt(java.lang.String fluent, java.lang.String arguments, long timestamp)
holdsAt
in interface IEventDatabase
fluent
- Farguments
- Atimestamp
- Tpublic IntervalList holdsFor(java.lang.String fluent, java.lang.String arguments, java.lang.String value)
holdsFor
in interface IEventDatabase
fluent
- Farguments
- Avalue
- Vpublic boolean holdsFor(java.lang.String fluent, java.lang.String arguments, java.lang.String value, Interval interval)
holdsFor
in interface IEventDatabase
fluent
- Farguments
- Avalue
- Vinterval
- Ipublic void initiate(java.lang.String fluent, java.lang.String arguments, java.lang.String value, long timestamp)
initiate
in interface IEventDatabase
fluent
- Farguments
- Avalue
- Vtimestamp
- Tpublic void terminate(java.lang.String fluent, java.lang.String arguments, java.lang.String value, long timestamp)
terminate
in interface IEventDatabase
fluent
- FFarguments
- Avalue
- Vtimestamp
- Tpublic void set(java.lang.String fluent, java.lang.String arguments, java.lang.String value, IntervalList list)
set
in interface IEventDatabase
fluent
- Farguments
- Avalue
- Vlist
- Lpublic long getLastTimeStamp()
getLastTimeStamp
in interface IEventDatabase
public void setLastTimeStamp(long timestamp)