3
96%
master: 100%

Ran 03 Sep 2019 02:44AM UTC

Files 25

Run time 2s

Badge

Embed ▾

Committed 03 Sep 2019 02:32AM UTC coverage: 95.906% (-2.3%) from 98.171%

Job # 36.3

Build Type

Pull #6

travis-ci

Committed by

web-flow

Commit Message

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`.

Pull Request Pull Request #6: Rewrite redfa implementation

Run Details

2366 of 2467 relevant lines covered (95.91%)

0.96 hits per line

sbosnick / luther / 36 / 3
96%
master: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 36.3

sbosnick / luther / 36 / 3 96% master: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 36.3

sbosnick / luther / 36 / 3
96%
master: 100%

README BADGES
x