sbosnick / luther / 36

96%

master: 100%

Pull #6

travis-ci

Renamed PartitionMap and PartitionSet.

The new names (Partition and Set respectivly) better reflect the purpose
of these two types. A Set (formerly PartitionSet) is not concerned with
a partition of anything, but rather is just an implementaion of the
abtract type "set". A Partition (formerly PartitionMap) is precisely an
implementation of a abstract "partition" of some universe U into subsets
that are identified by having the same value `V`. It doesn't really map
`U` to `V`, but rather uses values of `V` to identify the subsets of
`U`.

1805 of 1805 new or added lines in 15 files covered. (100.0%)

2362 of 2458 relevant lines covered (96.09%)

2.88 hits per line