WorldChange

public final class WorldChange
extends java.lang.Object

Constructors
Constructor and Description
`WorldChange()`

Methods
Modifier and Type	Method and Description
`void`	`addChange(ScanTerm t, java.lang.Boolean oldValue)`
`void`	`clear()`
`void`	`compress()`
`WorldChange`	`copy()`
`java.lang.Boolean`	`getPrevValue(int ndx)`
`ScanTerm`	`getTerm(int ndx)`
`boolean`	`isEmpty()`
`java.lang.Boolean`	`popPrevValue()`
`ScanTerm`	`popTerm()`
`int`	`size()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

public void addChange(ScanTerm t,
             java.lang.Boolean oldValue)

public java.lang.Boolean getPrevValue(int ndx)

public java.lang.Boolean popPrevValue()

Class WorldChange