Package 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>
,OrdinalSetMapping<T>
,Serializable
,Iterable<T>
public class UnorderedDomain<T,U> extends MutableMapping<T> implements TabulationDomain<T,U>
ATabulationDomain
with no build-in partial order defining priority.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description UnorderedDomain()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
hasPriorityOver(PathEdge<U> p1, PathEdge<U> p2)
returnstrue
if p1 should be processed before p2 by theTabulationSolver
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-
Methods inherited from class com.ibm.wala.util.intset.MutableMapping
add, deleteMappedObject, getMappedIndex, getMappedObject, getMaximumIndex, getObjects, getSize, hasMappedIndex, iterator, make, makeSingleton, put, replace, toString
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface java.lang.Iterable
forEach, iterator, spliterator
-
Methods inherited from interface com.ibm.wala.util.intset.OrdinalSetMapping
add, getMappedIndex, getMappedObject, getMaximumIndex, getSize, hasMappedIndex
-
-
-
-
Method Detail
-
hasPriorityOver
public boolean hasPriorityOver(PathEdge<U> p1, PathEdge<U> p2)
Description copied from interface:TabulationDomain
returnstrue
if p1 should be processed before p2 by theTabulationSolver
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 interfaceTabulationDomain<T,U>
-
-