Interface IVariable<T extends IVariable<T>>

All Superinterfaces:
INodeWithNumber
All Known Implementing Classes:
AbstractVariable, BitVectorVariable, BooleanVariable, IntSetVariable

public interface IVariable<T extends IVariable<T>> extends INodeWithNumber
Represents a single variable in a fixed-point iterative system.
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    Set this variable to have the same state as another one
    int
    Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.
    void
    Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.

    Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber

    getGraphNodeId, setGraphNodeId
  • Method Details

    • getOrderNumber

      int getOrderNumber()
      Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order. It might be cleaner to hold this on the side, but we cannot tolerate any extra space. TODO: consider moving this functionality to a subinterface?
      Returns:
      a number used to order equation evaluation
    • setOrderNumber

      void setOrderNumber(int i)
      Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order. It might be cleaner to hold this on the side, but we cannot tolerate any extra space. TODO: consider moving this functionality to a subinterface?
    • copyState

      void copyState(T v)
      Set this variable to have the same state as another one