Class TimelyMemory.CumulativeCounter
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.util.TimelyMemory.CumulativeCounter
-
- Enclosing class:
- TimelyMemory<Timestamp extends java.lang.Comparable<Timestamp>>
protected static final class TimelyMemory.CumulativeCounter extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description protected intcumulativeprotected intdiff
-
Constructor Summary
Constructors Modifier Constructor Description protectedCumulativeCounter(int diff, int cumulative)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.StringtoString()
-