Overview  Package   Class  Use  Deprecated  Index
Home >> All >> mlsub >> typing >> [ lowlevel overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

mlsub.typing.lowlevel
Class K0.ImplementsIterator  

java.lang.Object
  mlsub.typing.lowlevel.K0.ImplementsIterator

Enclosing class:

K0

---

public abstract static class K0.ImplementsIterator

extends java.lang.Object

---

Constructor Summary

K0.ImplementsIterator()

 

Method Summary
protected abstract  void	iter(int x, int iid)

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

K0.ImplementsIterator

public K0.ImplementsIterator()

Method Detail

iter

protected abstract void iter(int x,
                             int iid)
                      throws Unsatisfiable

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> mlsub >> typing >> [ lowlevel overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---