com.ibm.wala.dataflow.IFDS

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>, com.ibm.wala.util.intset.OrdinalSetMapping<T>, java.io.Serializable, java.lang.Iterable<T>

public class UnorderedDomain<T,U>
extends com.ibm.wala.util.intset.MutableMapping<T>
implements TabulationDomain<T,U>

A TabulationDomain with no build-in partial order defining priority.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
UnorderedDomain()

Method Summary

Modifier and Type	Method and Description
boolean	hasPriorityOver(PathEdge<U> p1, PathEdge<U> p2) returns true if p1 should be processed before p2 by the TabulationSolver

Methods inherited from class com.ibm.wala.util.intset.MutableMapping

add, deleteMappedObject, getMappedIndex, getMappedObject, getMaximumIndex, getObjects, getSize, hasMappedIndex, iterator, make, makeSingleton, put, replace, stream, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.ibm.wala.util.intset.OrdinalSetMapping

add, getMappedIndex, getMappedObject, getMaximumIndex, getSize, hasMappedIndex, stream

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Constructor Detail

UnorderedDomain

public UnorderedDomain()

Method Detail

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>