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