libredex/DexTypeEnvironment.cpp
sparta/include/PatriciaTreeOverUnderSetAbstractDomain.h

libredex/DexTypeEnvironment.cpp
sparta/include/SmallSortedSetAbstractDomain.h

libredex/DexTypeEnvironment.cpp
sparta/include/ConstantAbstractDomain.h

libredex/DexTypeEnvironment.cpp
sparta/include/AbstractDomain.h