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>
A
TabulationDomain
with no build-in partial order defining priority.- See Also:
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
hasPriorityOver
(PathEdge<U> p1, PathEdge<U> p2) returnstrue
if p1 should be processed before p2 by theTabulationSolver
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 java.lang.Iterable
forEach, iterator, spliterator
Methods inherited from interface com.ibm.wala.util.intset.OrdinalSetMapping
add, getMappedIndex, getMappedObject, getMaximumIndex, getSize, hasMappedIndex, stream
-
Constructor Details
-
UnorderedDomain
public UnorderedDomain()
-
-
Method Details
-
hasPriorityOver
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>
-