org.eclipse.viatra.query.runtime.matchers.util

## 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 and Description
    --- | ---
    `protected int` | `diff`

  - ### Constructor Summary

    Constructors
    Modifier | Constructor and Description
    --- | ---
    `protected` | `FoldingState(int diff)`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and 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()`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

- - ### Field Detail

    - #### diff

          protected final int diff

  - ### Constructor Detail

    - #### FoldingState

          protected FoldingState(int diff)

  - ### Method Detail

    - #### toString

          public java.lang.String toString()

      Overrides:
        `toString` in class `java.lang.Object`

    - #### merge

          public TimelyMemory.FoldingState merge(TimelyMemory.FoldingState that)

      The returned result will never be null, even if the resulting diff is zero.