1
88%
master: 88%

Ran 28 Mar 2018 12:20AM UTC

Files 11

Run time 1s

Badge

Embed ▾

Committed 28 Mar 2018 12:15AM UTC coverage: 86.315% (-1.1%) from 87.441%

Job # CC=gcc-4.7 CXX=g++-4.7

Build Type

Pull #34

travis-ci

Committed by

web-flow

Commit Message

added pruning method

I added a method for cleaning a bdd such that all variables that are not active in the bdd are removed and the levels are renumbered. This method deletes all variables at once. Thereby the unnecessary swapping of empty variables and repeated renumbering is avoided.

Pull Request Pull Request #34: added pruning method

Coverage Stats

1867 of 2163 relevant lines covered (86.32%)

0.86 hits per line

johnyf / dd / 235 / 1
88%
master: 88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 235.1 (CC=gcc-4.7 CXX=g++-4.7)

johnyf / dd / 235 / 1 88% master: 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 235.1 (CC=gcc-4.7 CXX=g++-4.7)

johnyf / dd / 235 / 1
88%
master: 88%

README BADGES
x