Package tools.refinery.logic.substitution

Class RenewingSubstitution

java.lang.Object

tools.refinery.logic.substitution.RenewingSubstitution

All Implemented Interfaces:

Substitution

public class RenewingSubstitution
extends Object
implements Substitution

Constructor Summary

Constructors

Constructor	Description
RenewingSubstitution()

Method Summary

Modifier and Type	Method	Description
Variable	getSubstitute(Variable variable)

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

public Variable getSubstitute(Variable variable)

Specified by:

getSubstitute in interface Substitution