Package 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

Modifier and Type	Field	Description
(package private) final Resolver4.Binding<Expression>	substs

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

cyclic, different, ic, raw, requiredBy, rewriteDone, rewritten

Constructor Summary

Constructors

Constructor	Description
LocalInstance(Resolver4.ImportContext ic, Definition raw, Resolver4.Binding<Expression> substs)

Method Summary

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

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

Methods inherited from class java.lang.Object

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

Field Details

substs

final Resolver4.Binding<Expression> substs

Constructor Details

LocalInstance

LocalInstance(Resolver4.ImportContext ic,
 Definition raw,
 Resolver4.Binding<Expression> substs)