Package com.ibm.wala.fixpoint
Class UnaryOr
- All Implemented Interfaces:
FixedPointConstants
Operator U(n) = U(n) | U(j)
-
Field Summary
Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK -
Method Summary
Modifier and TypeMethodDescriptionbooleanbyteevaluate(BooleanVariable lhs, BooleanVariable rhs) Evaluate this equation, setting a new value for the left-hand side.inthashCode()static UnaryOrinstance()toString()Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator
evaluate, isIdentity, makeEquation
-
Method Details
-
instance
-
evaluate
Description copied from class:UnaryOperatorEvaluate this equation, setting a new value for the left-hand side.- Specified by:
evaluatein classUnaryOperator<BooleanVariable>- Returns:
- true if the lhs value changes. false otherwise.
- Throws:
IllegalArgumentException
-
toString
- Specified by:
toStringin classAbstractOperator<BooleanVariable>
-
hashCode
public int hashCode()- Specified by:
hashCodein classAbstractOperator<BooleanVariable>
-
equals
- Specified by:
equalsin classAbstractOperator<BooleanVariable>
-