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

public abstract class AbstractMeetOperator<T extends IVariable<T>> extends AbstractOperator<T>
Abstract superclass for meet operators
  • 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