public static interface FilteredPointerKey.TypeFilter extends ContextItem
ContextItem.Value<T>
Modifier and Type | Method and Description |
---|---|
boolean |
addFiltered(PropagationSystem system,
PointsToSetVariable L,
PointsToSetVariable R) |
boolean |
addInverseFiltered(PropagationSystem system,
PointsToSetVariable L,
PointsToSetVariable R) |
boolean |
isRootFilter() |
boolean addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean isRootFilter()