Class RenewingSubstitution
java.lang.Object
tools.refinery.logic.substitution.RenewingSubstitution
- All Implemented Interfaces:
Substitution
-
Constructor Summary
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface tools.refinery.logic.substitution.Substitution
getTypeSafeSubstitute, getTypeSafeSubstitute
-
Constructor Details
-
RenewingSubstitution
public RenewingSubstitution()
-
-
Method Details
-
getSubstitute
- Specified by:
getSubstitute
in interfaceSubstitution
-