|
|||||||||
| 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.Callbacks
java.lang.Objectmlsub.typing.lowlevel.K0.Callbacks
- Direct Known Subclasses:
- Engine.Constraint.Callbacks
- Enclosing class:
- K0
- public abstract static class K0.Callbacks
- extends java.lang.Object
| Constructor Summary | |
K0.Callbacks()
|
|
| Method Summary | |
protected java.lang.String |
getName()
|
protected abstract void |
indexDiscarded(int index)
Called when simplification discards index |
protected abstract void |
indexMerged(int src,
int dest)
Called when indexes src and dest have been merged. |
protected abstract void |
indexMoved(int src,
int dest)
Called when index src has been moved to index dest. |
protected java.lang.String |
indexToString(int x)
|
protected java.lang.String |
interfaceToString(int iid)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
K0.Callbacks
public K0.Callbacks()
| Method Detail |
indexMerged
protected abstract void indexMerged(int src,
int dest)
throws Unsatisfiable
- Called when indexes src and dest have been merged. Only dest remains
valid: src is invalidated
indexMoved
protected abstract void indexMoved(int src,
int dest)
- Called when index src has been moved to index dest.
indexDiscarded
protected abstract void indexDiscarded(int index)
- Called when simplification discards index
getName
protected java.lang.String getName()
indexToString
protected java.lang.String indexToString(int x)
interfaceToString
protected java.lang.String interfaceToString(int iid)
|
|||||||||
| Home >> All >> mlsub >> typing >> [ lowlevel overview ] | PREV CLASS NEXT CLASS | ||||||||
|
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||