protected static class SolverListener.ContainsModalityOrQueryVisitor extends DefaultVisitor
Modifier and Type | Field and Description |
---|---|
(package private) boolean |
containsModQueryOrUpd
The result.
|
Modifier | Constructor and Description |
---|---|
protected |
ContainsModalityOrQueryVisitor() |
Modifier and Type | Method and Description |
---|---|
boolean |
isContainsModQueryOrUpd()
Returns the result.
|
void |
visit(Term visited)
the entry method for the visitor pattern
|
subtreeEntered, subtreeLeft, visitSubtree
public void visit(Term visited)
visited
- the Term to be visitedpublic boolean isContainsModQueryOrUpd()
true
contains at least one modality, query, or update; false
contains no modalities,
no queries, and no updates.