Path	Lines of Code
source/domains/abstract.ml	18
source/domains/abstractBucketedElementSetDomain.ml	107
source/domains/abstractBucketedElementSetDomain.mli	22
source/domains/abstractDomainCore.ml	236
source/domains/abstractElementSetDomain.ml	123
source/domains/abstractElementSetDomain.mli	22
source/domains/abstractFlatDomain.ml	140
source/domains/abstractFlatDomain.mli	20
source/domains/abstractInvertedSetDomain.ml	148
source/domains/abstractInvertedSetDomain.mli	22
source/domains/abstractMapDomain.ml	363
source/domains/abstractMapDomain.mli	29
source/domains/abstractOverUnderSetDomain.ml	305
source/domains/abstractOverUnderSetDomain.mli	30
source/domains/abstractProductDomain.ml	365
source/domains/abstractProductDomain.mli	41
source/domains/abstractSetDomain.ml	156
source/domains/abstractSetDomain.mli	46
source/domains/abstractSimpleDomain.ml	54
source/domains/abstractSimpleDomain.mli	18
source/domains/abstractToppedSetDomain.ml	160
source/domains/abstractToppedSetDomain.mli	22
source/domains/abstractTreeDomain.ml	984
source/domains/abstractTreeDomain.mli	67