eu.bandm.tools.d2d2.base

Class Resolver4.LocalInstance

java.lang.Object

eu.bandm.tools.d2d2.base.Resolver4.Instance

eu.bandm.tools.d2d2.base.Resolver4.LocalInstance

All Implemented Interfaces:

Cloneable

Enclosing class:

Resolver4

protected class Resolver4.LocalInstance
extends Resolver4.Instance

Field Summary

Fields inherited from class eu.bandm.tools.d2d2.base.Resolver4.Instance

cyclic

Method Summary

Methods inherited from class eu.bandm.tools.d2d2.base.Resolver4.Instance

doRewrite, format, hypothesisConfirmed, hypothesisFalsified, isBound, isClass, newHypothesis, representative, setIsClass

Methods inherited from class java.lang.Object

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