private static class FinishSymbolicExecutionMacro.FilterSymbexStrategy extends FilterStrategy
Constructor and Description |
---|
FinishSymbolicExecutionMacro.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
private static final Name NAME
public FinishSymbolicExecutionMacro.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