caleb531 / automata / 412

100%

push

travis-ci-com

DFA Operations (#28)

* DFA set operations

* Fixed typo in __eq__

* intersect -> intersection

* Same naming conventions as builtin type set

* Automatically minify by default after operations

* disjoint and empty check

* Typo fix isempty

* Auto minify after union

* Tests for new DFA operations.

* Fix blank line

* Change default behavior of minify to forget names of states.

* Is finite check added

* updated readme

444 of 457 branches covered (97.16%)

151 of 151 new or added lines in 1 file covered. (100.0%)

1019 of 1037 relevant lines covered (98.26%)

4.91 hits per line