com.irs.jam
Class WorldModelTableBucketEnumerator

java.lang.Object
  |
  +--com.irs.jam.WorldModelTableBucketEnumerator
All Implemented Interfaces:
java.io.Serializable

public class WorldModelTableBucketEnumerator
extends java.lang.Object
implements java.io.Serializable

Helps iterate through World Model entries

See Also:
Serialized Form

Field Summary
protected  DListEnumerator _bucket
           
protected  Relation _relation
           
protected  WorldModelTable _table
           
 
Constructor Summary
WorldModelTableBucketEnumerator(WorldModelTable wt, Relation relation)
          Constructor with World Model and relation arguments
 
Method Summary
 WorldModelRelation getNext(Binding binding)
          Go to the next matching element
 void print(java.io.PrintStream s)
          Remove the current element
 void removeThis()
          Remove the current element
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_table

protected WorldModelTable _table

_relation

protected Relation _relation

_bucket

protected DListEnumerator _bucket
Constructor Detail

WorldModelTableBucketEnumerator

public WorldModelTableBucketEnumerator(WorldModelTable wt,
                                       Relation relation)
Constructor with World Model and relation arguments
Method Detail

getNext

public WorldModelRelation getNext(Binding binding)
Go to the next matching element

removeThis

public void removeThis()
Remove the current element

print

public void print(java.io.PrintStream s)
Remove the current element