protected static class SymbolicExecutionSideProofUtil.ContainsIrrelevantThingsVisitor extends DefaultVisitor
QuerySideProofRule#containsIrrelevantThings(Services, SequentFormula, Set)
.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
public void visit(Term visited)
visited
- the Term to be visitedpublic boolean isContainsIrrelevantThings()
SequentFormula
contains irrelevant things, false
the SequentFormula
contains no irrelevant things.Copyright © 2003-2019 The KeY-Project.