Class TimelyMemory.FoldingState
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.util.TimelyMemory.FoldingState
-
- Enclosing class:
- TimelyMemory<Timestamp extends java.lang.Comparable<Timestamp>>
protected static final class TimelyMemory.FoldingState extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description protected intdiff
-
Constructor Summary
Constructors Modifier Constructor Description protectedFoldingState(int diff)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description TimelyMemory.FoldingStatemerge(TimelyMemory.FoldingState that)The returned result will never be null, even if the resulting diff is zero.java.lang.StringtoString()
-
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
merge
public TimelyMemory.FoldingState merge(TimelyMemory.FoldingState that)
The returned result will never be null, even if the resulting diff is zero.
-
-