Path	Lines of Code
include/AbstractDomain.h	347
include/Analyzer.h	209
include/Arity.h	44
include/ConstantAbstractDomain.h	102
include/DirectProductAbstractDomain.h	178
include/DisjointUnionAbstractDomain.h	240
include/Exceptions.h	18
include/FiniteAbstractDomain.h	268
include/FixpointIterator.h	49
include/FlatSet.h	180
include/HashedAbstractEnvironment.h	280
include/HashedAbstractPartition.h	222
include/HashedSetAbstractDomain.h	121
include/IntervalDomain.h	147
include/LiftedDomain.h	113
include/MonotonicFixpointIterator.h	456
include/PatriciaTreeMap.h	960
include/PatriciaTreeMapAbstractEnvironment.h	235
include/PatriciaTreeMapAbstractPartition.h	170
include/PatriciaTreeOverUnderSetAbstractDomain.h	170
include/PatriciaTreeSet.h	801
include/PatriciaTreeSetAbstractDomain.h	91
include/PatriciaTreeUtil.h	36
include/PowersetAbstractDomain.h	142
include/ReducedProductAbstractDomain.h	82
include/S_Expression.h	528
include/SmallSortedSetAbstractDomain.h	142
include/SparseSetAbstractDomain.h	170
include/SpartaWorkQueue.h	272
include/WeakPartialOrdering.h	419
include/WeakTopologicalOrdering.h	240