private static class FinishSymbolicExecutionMacro.FilterSymbexStrategy extends FilterStrategy
Constructor and Description |
---|
FilterSymbexStrategy(Strategy delegate) |
Modifier and Type | Method and Description |
---|---|
boolean |
isApprovedApp(RuleApp app,
PosInOccurrence pio,
Goal goal)
Re-Evaluate a
RuleApp . |
boolean |
isStopAtFirstNonCloseableGoal()
|
Name |
name()
returns the name of this element
|
computeCost, instantiateApp
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
updateStrategySettings
private static final Name NAME
public FilterSymbexStrategy(Strategy delegate)
public Name name()
Named
public boolean isApprovedApp(RuleApp app, PosInOccurrence pio, Goal goal)
Strategy
RuleApp
. This method is
called immediately before a rule is really appliedisApprovedApp
in interface Strategy
isApprovedApp
in class FilterStrategy