de.uka.ilkd.key.strategy.termProjection

Interfaces

• ProjectionToTerm

Classes

• AbstractDividePolynomialsProjection
• AssumptionProjection
• CoeffGcdProjection
• DividePolynomialsProjection
• FocusFormulaProjection
• FocusProjection
• MonomialColumnOp
• ReduceMonomialsProjection
• SubtermProjection
• SVInstantiationProjection
• TermBuffer
• TermConstructionProjection
• TriggerVariableInstantiationProjection