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 int
diff
-
Constructor Summary
Constructors Modifier Constructor Description protected
FoldingState(int diff)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description TimelyMemory.FoldingState
merge(TimelyMemory.FoldingState that)
The returned result will never be null, even if the resulting diff is zero.java.lang.String
toString()
-
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toString
in 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.
-
-