Class AbstractStatement<T extends IVariable<T>,O extends AbstractOperator<T>>

java.lang.Object
com.ibm.wala.util.graph.impl.NodeWithNumber
com.ibm.wala.fixpoint.AbstractStatement<T,O>
All Implemented Interfaces:
IFixedPointStatement<T>, INodeWithNumber
Direct Known Subclasses:
GeneralStatement, NullaryStatement, UnaryStatement

public abstract class AbstractStatement<T extends IVariable<T>,O extends AbstractOperator<T>> extends NodeWithNumber implements IFixedPointStatement<T>
Represents a single step in an iterative solver
  • Constructor Details

    • AbstractStatement

      public AbstractStatement()
  • Method Details

    • getOperator

      public abstract O getOperator()
    • hashCode

      public abstract int hashCode()
      Subclasses must implement this, to prevent non-determinism.
      Overrides:
      hashCode in class Object
    • equals

      public abstract boolean equals(Object o)
      Overrides:
      equals in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • getOrderNumber

      public final int getOrderNumber()