com.ibm.bluej.consistency.inference

Class SavedWorld

java.lang.Object

com.ibm.bluej.consistency.inference.SavedWorld

All Implemented Interfaces:

java.lang.Comparable<SavedWorld>

public class SavedWorld
extends java.lang.Object
implements java.lang.Comparable<SavedWorld>

Field Summary

Fields

Modifier and Type	Field and Description
java.util.ArrayList<ScanTerm>	world
IWorldWeight	worldWeight

Method Summary

Methods

Modifier and Type	Method and Description
int	compareTo(SavedWorld o)
static SavedWorld	instance(IDeltaWeight worldWeight, java.util.Iterator<IndexEntry> truth, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> shouldSave)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

worldWeight

public IWorldWeight worldWeight

world

public java.util.ArrayList<ScanTerm> world

Method Detail

instance

public static SavedWorld instance(IDeltaWeight worldWeight,
                  java.util.Iterator<IndexEntry> truth,
                  com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> shouldSave)

compareTo

public int compareTo(SavedWorld o)

Specified by:

compareTo in interface java.lang.Comparable<SavedWorld>