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)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>>
-
-