public class CutHeapObjectsFeature extends BinaryFeature
This BinaryFeature
checks if a cut with an equality for
an alias check should be done or not.
This means the cut is only applied if the cut formula is not an equality
or if it is not a negated formula or if the (negated) equality is not contained
as top term (SequentFormula
) in the Sequent
ignoring
the order of the equality children.
TOP_COST, ZERO_COST
Constructor and Description |
---|
CutHeapObjectsFeature() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
filter(RuleApp app,
PosInOccurrence pos,
Goal goal)
Compute whether the result of the feature is zero (
true )
or infinity (false ) |
computeCost
protected boolean filter(RuleApp app, PosInOccurrence pos, Goal goal)
true
)
or infinity (false
)filter
in class BinaryFeature
app
- the RuleApppos
- position where app
is to be appliedgoal
- the goal on which app
is to be applied