com.ibm.wala.dataflow.IFDS
Interface TabulationDomain

All Superinterfaces:

java.lang.Iterable<java.lang.Object>, OrdinalSetMapping<java.lang.Object>

All Known Implementing Classes:

UnorderedDomain

public interface TabulationDomain
extends OrdinalSetMapping<java.lang.Object>

Method Summary

boolean

isWeakerThan(int d1, int d2) if this domain supports a partial order on facts, return true if d1 is weaker than d2 (intutitively d1 meet d2 = d1) return false otherwise

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

add, getMappedIndex, getMappedObject, getMappingSize, hasMappedIndex

Methods inherited from interface java.lang.Iterable

iterator

Method Detail

isWeakerThan

boolean isWeakerThan(int d1,
                     int d2)

if this domain supports a partial order on facts, return true if d1 is weaker than d2 (intutitively d1 meet d2 = d1) return false otherwise