protected static class SymbolicExecutionSideProofUtil.ContainsModalityOrQueryVisitor extends DefaultVisitor
QuerySideProofRule#containsModalityOrQuery(Term)
.Modifier and Type | Field and Description |
---|---|
(package private) boolean |
containsModalityOrQuery
The result.
|
Modifier | Constructor and Description |
---|---|
protected |
ContainsModalityOrQueryVisitor() |
Modifier and Type | Method and Description |
---|---|
boolean |
isContainsModalityOrQuery()
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 isContainsModalityOrQuery()
true
contains at least one modality or query, false
contains no modalities and no queries.