Class MyIterator

  extended by

public class MyIterator
extends java.lang.Object

This class implements an iterator with data members that can keep track of where the algorithm is in terms of bindings found so far so that when the next binding is needed it can be calculated correctly. This class is needed because an atom can be satisfied either by looking for bindings at the current state of the world, or by using an axiom.

Constructor Summary
MyIterator(java.util.Vector vecIn)
          To initialize this iterator.
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public MyIterator(java.util.Vector vecIn)
To initialize this iterator.

vecIn - The Vector in the current state of the world that represents the atoms for which we are trying to find satisfiers.