protected class PropagationCallGraphBuilder.InverseFilterOperator extends PropagationCallGraphBuilder.FilterOperator
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
Constructor and Description |
---|
InverseFilterOperator() |
Modifier and Type | Method and Description |
---|---|
byte |
evaluate(PointsToSetVariable lhs,
PointsToSetVariable rhs)
Evaluate this equation, setting a new value for the left-hand side.
|
boolean |
isComplex()
Is the operator complex; i.e., might it give rise to new constraints?
|
String |
toString() |
equals, hashCode
evaluate, isIdentity, makeEquation
public String toString()
toString
in class PropagationCallGraphBuilder.FilterOperator
public boolean isComplex()
IPointerOperator
isComplex
in interface IPointerOperator
isComplex
in class PropagationCallGraphBuilder.FilterOperator
public byte evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs)
UnaryOperator
evaluate
in class PropagationCallGraphBuilder.FilterOperator