de.uka.ilkd.key.strategy.termProjection

Class FocusFormulaProjection

java.lang.Object

de.uka.ilkd.key.strategy.termProjection.FocusFormulaProjection

All Implemented Interfaces:

ProjectionToTerm

public class FocusFormulaProjection
extends java.lang.Object
implements ProjectionToTerm

Field Summary

Fields

Modifier and Type	Field and Description
static ProjectionToTerm	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	FocusFormulaProjection()

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

Field Detail

INSTANCE

public static final ProjectionToTerm INSTANCE

Constructor Detail

FocusFormulaProjection

private FocusFormulaProjection()

Method Detail

toTerm

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

Specified by:

toTerm in interface ProjectionToTerm