protected static class SymbolicExecutionSideProofUtil.ContainsIrrelevantThingsVisitor extends DefaultVisitor
QuerySideProofRule#containsIrrelevantThings(Services, SequentFormula, Set)
.Modifier and Type | Field and Description |
---|---|
(package private) boolean |
containsIrrelevantThings
The result.
|
private java.util.Set<Operator> |
relevantThings
The relevant things.
|
private Services |
services
The
Services to use. |
Constructor and Description |
---|
ContainsIrrelevantThingsVisitor(Services services,
java.util.Set<Operator> relevantThings)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isContainsIrrelevantThings()
Returns the result.
|
void |
visit(Term visited)
the entry method for the visitor pattern
|
subtreeEntered, subtreeLeft, visitSubtree
private java.util.Set<Operator> relevantThings
boolean containsIrrelevantThings
public void visit(Term visited)
visited
- the Term to be visitedpublic boolean isContainsIrrelevantThings()
SequentFormula
contains irrelevant things, false
the SequentFormula
contains no irrelevant things.