Class AbstractMeetOperator<T extends IVariable<T>>
java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<T>
com.ibm.wala.dataflow.graph.AbstractMeetOperator<T>
- All Implemented Interfaces:
FixedPointConstants
- Direct Known Subclasses:
BitVectorIntersection
,BitVectorUnion
,BooleanUnion
Abstract superclass for meet operators
-
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
-
Constructor Summary
-
Method Summary
Methods inherited from class com.ibm.wala.fixpoint.AbstractOperator
equals, evaluate, hashCode, toString
-
Constructor Details
-
AbstractMeetOperator
public AbstractMeetOperator()
-
-
Method Details
-
isUnaryNoOp
public boolean isUnaryNoOp()subclasses can override if needed- Returns:
- true iff this meet is a noop when applied to one argument
-