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)TimestampgetUnsigned(int index)booleanisEmpty()booleanisPresentAtInfinity()intsize()-
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:
getUnsignedin classTimeline<Timestamp extends java.lang.Comparable<Timestamp>>
-
size
public int size()
-
isPresentAtInfinity
public boolean isPresentAtInfinity()
- Specified by:
isPresentAtInfinityin classTimeline<Timestamp extends java.lang.Comparable<Timestamp>>
-
asChangeSequence
public java.lang.Iterable<Signed<Timestamp>> asChangeSequence()
- Specified by:
asChangeSequencein classTimeline<Timestamp extends java.lang.Comparable<Timestamp>>
-
-