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