public interface SequentPrintFilter
Modifier and Type | Method and Description |
---|---|
ImmutableList<SequentPrintFilterEntry> |
getAntec()
Get the formulas of the filtered sequent and the constraints to
use for instantiating metavariables when printing
|
Sequent |
getSequent() |
ImmutableList<SequentPrintFilterEntry> |
getSucc() |
Sequent getSequent()
ImmutableList<SequentPrintFilterEntry> getAntec()
ImmutableList<SequentPrintFilterEntry> getSucc()