Class CompactTimeline<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.CompactTimeline<Timestamp>
-
public class CompactTimeline<Timestamp extends java.lang.Comparable<Timestamp>> extends Timeline<Timestamp>
A compact timeline may cosist of an arbitrary amount of moments. It is backed by anArrayList
.- 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>>
-
-