search

kalmarek / KnuthBendix.jl

Pure Julia implementation of the Knuth-Bendix completion (focused primarily on groups and monoids)
MIT License
8 stars 2 forks source link

Enh/free rewrite #49

Closed kalmarek closed 3 years ago

kalmarek commented 3 years ago

This pull also reworks somehow Alphabet struct removing support for Integers (we never used it anyway)

codecov-commenter commented 3 years ago

Codecov Report

Merging #49 (49c9ec4) into master (cff5504) will increase coverage by 3.42%. The diff coverage is 94.02%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #49      +/-   ##
==========================================
+ Coverage   90.53%   93.96%   +3.42%     
==========================================
  Files          10       12       +2     
  Lines         560      928     +368     
==========================================
+ Hits          507      872     +365     
- Misses         53       56       +3
Flag Coverage Δ
unittests 93.96% <94.02%> (+3.42%) :arrow_up:

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
src/words.jl 100.00% <ø> (ø)
src/kbs.jl 88.11% <88.11%> (ø)
src/automata.jl 85.45% <88.39%> (+2.35%) :arrow_up:
src/helper_structures.jl 88.46% <88.46%> (ø)
src/orderings.jl 88.09% <88.57%> (+6.27%) :arrow_up:
src/rewriting.jl 94.48% <94.28%> (+7.82%) :arrow_up:
src/parsing.jl 98.01% <98.01%> (ø)
src/abstract_words.jl 95.65% <100.00%> (+2.31%) :arrow_up:
src/alphabets.jl 98.83% <100.00%> (+22.64%) :arrow_up:
src/bufferwords.jl 100.00% <100.00%> (+1.04%) :arrow_up:
... and 8 more

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 6016a81...49c9ec4. Read the comment docs.