Class SingletonTimeline<Timestamp extends java.lang.Comparable<Timestamp>>
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.util.timeline.Timeline<Timestamp>
-
- org.eclipse.viatra.query.runtime.matchers.util.timeline.SingletonTimeline<Timestamp>
-
public class SingletonTimeline<Timestamp extends java.lang.Comparable<Timestamp>> extends Timeline<Timestamp>
A timeline which solely consists of one timestamp value, representing a single insertion. Intuitively, a singleton timeline always represents a bump which starts at the given timestamp and lasts till plus infinity.- Since:
- 2.4
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Iterable<Signed<Timestamp>>
asChangeSequence()
Signed<Timestamp>
getSigned(int index)
Timestamp
getUnsigned(int index)
boolean
isEmpty()
boolean
isPresentAtInfinity()
int
size()
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.util.timeline.Timeline
mergeAdditive, mergeMultiplicative, toString
-
-
-
-
Method Detail
-
getUnsigned
public Timestamp getUnsigned(int index)
- Specified by:
getUnsigned
in classTimeline<Timestamp extends java.lang.Comparable<Timestamp>>
-
size
public int size()
-
isPresentAtInfinity
public boolean isPresentAtInfinity()
- Specified by:
isPresentAtInfinity
in classTimeline<Timestamp extends java.lang.Comparable<Timestamp>>
-
asChangeSequence
public java.lang.Iterable<Signed<Timestamp>> asChangeSequence()
- Specified by:
asChangeSequence
in classTimeline<Timestamp extends java.lang.Comparable<Timestamp>>
-
-