| java.lang.Object de.uka.ilkd.key.pp.ConstraintSequentPrintFilter
ConstraintSequentPrintFilter | public class ConstraintSequentPrintFilter implements SequentPrintFilter(Code) | | Select the formulas of the sequent that should be printed, using
the user constraint
|
antec | protected ListOfSequentPrintFilterEntry antec(Code) | | |
succ | protected ListOfSequentPrintFilterEntry succ(Code) | | |
filterSequent | protected void filterSequent()(Code) | | |
getAntec | public ListOfSequentPrintFilterEntry getAntec()(Code) | | Get the formulas of the filtered sequent and the constraints to
use for instantiating metavariables when printing
|
getSucc | public ListOfSequentPrintFilterEntry getSucc()(Code) | | |
|
|