de.uka.ilkd.key.strategy.termProjection
Interfaces
ProjectionToTerm
Classes
AbstractDividePolynomialsProjection
AssumptionProjection
CoeffGcdProjection
DividePolynomialsProjection
FocusFormulaProjection
FocusProjection
MonomialColumnOp
ReduceMonomialsProjection
SubtermProjection
SVInstantiationProjection
TermBuffer
TermConstructionProjection
TriggerVariableInstantiationProjection