private class FocusIsSubFormulaOfInfFlowContractAppFeature.SubFormulaVisitor extends DefaultVisitor
Modifier and Type | Field and Description |
---|---|
(package private) boolean |
isSubFormula |
(package private) Term |
potentialSub |
Constructor and Description |
---|
SubFormulaVisitor(Term potentialSub) |
Modifier and Type | Method and Description |
---|---|
(package private) boolean |
getIsSubFormula() |
void |
visit(Term visited)
the entry method for the visitor pattern
|
subtreeEntered, subtreeLeft, visitSubtree