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.
To initialize this iterator.
|Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
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