public class HideSequentPrintFilter extends SearchSequentPrintFilter
lp, regex, searchString
antec, originalSequent, succ
Constructor and Description |
---|
HideSequentPrintFilter(SequentViewLogicPrinter lp,
boolean regex) |
Modifier and Type | Method and Description |
---|---|
protected void |
filterSequent()
filters the sequent according to filter type
|
createPattern, createPattern, setLogicPrinter, setRegex, setSearchString
filterIdentity, getFilteredAntec, getFilteredSucc, getOriginalSequent, setSequent
public HideSequentPrintFilter(SequentViewLogicPrinter lp, boolean regex)
lp
- the logic printer in useregex
- should the search be treated as regex?protected void filterSequent()
SequentPrintFilter
filterSequent
in class SequentPrintFilter