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 int
cumulative
protected int
diff
-
Constructor Summary
Constructors Modifier Constructor Description protected
CumulativeCounter(int diff, int cumulative)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
toString()
-