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

Interface MatchOperatorInstruction

All Superinterfaces:

MatchInstruction

All Known Implementing Classes:

MatchOpIdentityInstruction, MatchProgramSVInstruction

public interface MatchOperatorInstruction
extends MatchInstruction

Method Summary

Modifier and Type	Method and Description
MatchConditions	match(Operator instantiationCandidate, MatchConditions matchConditions, Services services)

Methods inherited from interface de.uka.ilkd.key.rule.match.vm.instructions.MatchInstruction

match

Method Detail

match

MatchConditions match(Operator instantiationCandidate,
                      MatchConditions matchConditions,
                      Services services)