public class RegroupSequentPrintFilter extends SearchSequentPrintFilter
Constructor and Description |
---|
RegroupSequentPrintFilter(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 RegroupSequentPrintFilter(SequentViewLogicPrinter lp, boolean regex)
lp
- the logic printer in useregex
- should the search be treated as a regular expression?protected void filterSequent()
SequentPrintFilter
filterSequent
in class SequentPrintFilter
Copyright © 2003-2019 The KeY-Project.