- All Known Implementing Classes:
- AbstractDividePolynomialsProjection, AssumptionProjection, CoeffGcdProjection, DividePolynomialsProjection, FocusFormulaProjection, FocusProjection, MonomialColumnOp, ReduceMonomialsProjection, SubtermProjection, SVInstantiationProjection, TermBuffer, TermConstructionProjection, TriggerVariableInstantiationProjection
public interface ProjectionToTerm
Interface for mappings from rule applications to terms. This is used, for
instance, for determining the instantiation of a schema variable. We also
allow projections to be partial, which is signalled by toTerm
returning null