public class TriggerVariableInstantiationProjection extends java.lang.Object implements ProjectionToTerm
Constructor and Description |
---|
TriggerVariableInstantiationProjection() |
Modifier and Type | Method and Description |
---|---|
Term |
toTerm(RuleApp app,
PosInOccurrence pos,
Goal goal) |
public TriggerVariableInstantiationProjection()
public Term toTerm(RuleApp app, PosInOccurrence pos, Goal goal)
toTerm
in interface ProjectionToTerm