de.uka.ilkd.key.rule.match.vm.instructions

Class UnbindVariablesInstruction

java.lang.Object

de.uka.ilkd.key.rule.match.vm.instructions.UnbindVariablesInstruction

All Implemented Interfaces:

MatchInstruction

public class UnbindVariablesInstruction
extends java.lang.Object
implements MatchInstruction

Constructor Summary

Constructors

Constructor and Description
UnbindVariablesInstruction()

Method Summary

Modifier and Type	Method and Description
MatchConditions	match(TermNavigator termPosition, MatchConditions matchConditions, Services services)

Methods inherited from class java.lang.Object

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

Constructor Detail

UnbindVariablesInstruction

public UnbindVariablesInstruction()

Method Detail

match

public MatchConditions match(TermNavigator termPosition,
                             MatchConditions matchConditions,
                             Services services)

Specified by:

match in interface MatchInstruction