de.uka.ilkd.key.pp

Interface SequentPrintFilterEntry

All Known Implementing Classes:

IdentitySequentPrintFilter.IdentityFilterEntry

public interface SequentPrintFilterEntry

One element of a sequent as delivered by SequentPrintFilter

Method Summary

Modifier and Type	Method and Description
SequentFormula	getFilteredFormula() Formula to display
SequentFormula	getOriginalFormula() Original formula from sequent

Method Detail

getFilteredFormula

SequentFormula getFilteredFormula()

Formula to display

getOriginalFormula

SequentFormula getOriginalFormula()

Original formula from sequent