Package tools.refinery.interpreter.matchers.util

Class TimelyMemory.FoldingState

java.lang.Object

tools.refinery.interpreter.matchers.util.TimelyMemory.FoldingState

Enclosing class:

TimelyMemory<Timestamp extends Comparable<Timestamp>>

protected static final class TimelyMemory.FoldingState
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final int	diff

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	FoldingState(int diff)

Method Summary

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.
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

diff

protected final int diff

Constructor Details

FoldingState

protected FoldingState(int diff)

Method Details

toString

public String toString()

Overrides:

toString in class Object

merge

public TimelyMemory.FoldingState merge(TimelyMemory.FoldingState that)

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