protected static class SolverListener.ContainsModalityOrQueryVisitor extends DefaultVisitor
Modifier | Constructor and Description |
---|---|
protected |
ContainsModalityOrQueryVisitor() |
Modifier and Type | Method and Description |
---|---|
boolean |
containsModOrQuery()
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 containsModOrQuery()
true
contains at least one modality, query, or update; false
contains no modalities,
no queries, and no updates.Copyright © 2003-2019 The KeY-Project.