de.uka.ilkd.key.strategy.termProjection

Class TriggerVariableInstantiationProjection

java.lang.Object

de.uka.ilkd.key.strategy.termProjection.TriggerVariableInstantiationProjection

All Implemented Interfaces:

ProjectionToTerm

public class TriggerVariableInstantiationProjection
extends java.lang.Object
implements ProjectionToTerm

Constructor Summary

Constructors

Constructor and Description
TriggerVariableInstantiationProjection()

Method Summary

Modifier and Type	Method and Description
Term	toTerm(RuleApp app, PosInOccurrence pos, Goal goal)

Methods inherited from class java.lang.Object

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

Constructor Detail

TriggerVariableInstantiationProjection

public TriggerVariableInstantiationProjection()

Method Detail

toTerm

public Term toTerm(RuleApp app,
                   PosInOccurrence pos,
                   Goal goal)

Specified by:

toTerm in interface ProjectionToTerm