Class UnorderedDomain<T,U>

java.lang.Object
com.ibm.wala.util.intset.MutableMapping<T>
com.ibm.wala.dataflow.IFDS.UnorderedDomain<T,U>
All Implemented Interfaces:
TabulationDomain<T,U>, OrdinalSetMapping<T>, Serializable, Iterable<T>

public class UnorderedDomain<T,U> extends MutableMapping<T> implements TabulationDomain<T,U>
A TabulationDomain with no build-in partial order defining priority.
See Also:
  • Constructor Details

    • UnorderedDomain

      public UnorderedDomain()
  • Method Details

    • hasPriorityOver

      public boolean hasPriorityOver(PathEdge<U> p1, PathEdge<U> p2)
      Description copied from interface: TabulationDomain
      returns true if p1 should be processed before p2 by the TabulationSolver

      For example, if this domain supports a partial order on facts, return true if p1.d2 is weaker than p2.d2 (intuitively p1.d2 meet p2.d2 = p1.d2)

      return false otherwise

      Specified by:
      hasPriorityOver in interface TabulationDomain<T,U>