Completion

[AntoniusW]

Add additional completion nogoods.

[codecov[bot]]

Codecov Report

Merging #283 (5e47fad) into master (1fbbbf0) will increase coverage by 0.33%. The diff coverage is 79.64%.

@@             Coverage Diff              @@
##             master     #283      +/-   ##
============================================
+ Coverage     77.46%   77.79%   +0.33%     
- Complexity     2312     2422     +110     
============================================
  Files           178      182       +4     
  Lines          7782     8170     +388     
  Branches       1352     1422      +70     
============================================
+ Hits           6028     6356     +328     
- Misses         1334     1370      +36     
- Partials        420      444      +24     

Impacted Files	Coverage Δ	Complexity Δ
...kr/alpha/api/mapper/AnswerSetToWorkbookMapper.java	95.83% <ø> (ø)	14.00 <0.00> (ø)
.../java/at/ac/tuwien/kr/alpha/common/Assignment.java	86.66% <ø> (ø)	10.00 <0.00> (ø)
.../ac/tuwien/kr/alpha/common/atoms/ExternalAtom.java	55.55% <ø> (-6.35%)	18.00 <0.00> (-2.00)
.../tuwien/kr/alpha/common/atoms/ExternalLiteral.java	89.55% <ø> (ø)	26.00 <0.00> (ø)
...grounder/structure/DirectFunctionalDependency.java	61.11% <61.11%> (ø)	10.00 <10.00> (?)
...ien/kr/alpha/grounder/CompletionConfiguration.java	68.29% <68.29%> (ø)	24.00 <24.00> (?)
...uwien/kr/alpha/grounder/atoms/EnumerationAtom.java	68.42% <71.42%> (+0.67%)	8.00 <0.00> (ø)
.../at/ac/tuwien/kr/alpha/solver/TrailAssignment.java	81.68% <71.42%> (+0.62%)	111.00 <5.00> (+3.00)
...t/ac/tuwien/kr/alpha/grounder/NoGoodGenerator.java	87.65% <72.72%> (-10.71%)	30.00 <13.00> (+7.00)	:arrow_down:
...c/tuwien/kr/alpha/common/terms/ArithmeticTerm.java	68.75% <77.77%> (+2.08%)	20.00 <3.00> (+4.00)
... and 31 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 1fbbbf0...5e47fad. Read the comment docs.