protected class Resolver4.LocalInstance extends Resolver4.Instance
cyclic
doRewrite, format, hypothesisConfirmed, hypothesisFalsified, isBound, isClass, newHypothesis, representative, setIsClass
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
see also the complete user documentation .