Conflict generalisation

[rtaupe]

Related issue: #115

[codecov[bot]]

Codecov Report

Merging #242 into master will decrease coverage by 0.12%. The diff coverage is 74.79%.

@@             Coverage Diff              @@
##             master     #242      +/-   ##
============================================
- Coverage     76.83%   76.71%   -0.13%     
- Complexity     2056     2065       +9     
============================================
  Files           150      153       +3     
  Lines          6782     6866      +84     
  Branches       1184     1188       +4     
============================================
+ Hits           5211     5267      +56     
- Misses         1177     1202      +25     
- Partials        394      397       +3     

Impacted Files	Coverage Δ	Complexity Δ
...n/java/at/ac/tuwien/kr/alpha/common/AtomStore.java	100.00% <ø> (ø)	6.00 <0.00> (ø)
.../java/at/ac/tuwien/kr/alpha/solver/Antecedent.java	0.00% <0.00%> (ø)	0.00 <0.00> (?)
...va/at/ac/tuwien/kr/alpha/solver/DefaultSolver.java	60.42% <0.00%> (ø)	57.00 <0.00> (ø)
...n/kr/alpha/solver/SolverMaintainingStatistics.java	37.50% <ø> (ø)	1.00 <0.00> (ø)
.../alpha/grounder/atoms/BodyRepresentingLiteral.java	42.85% <42.85%> (ø)	2.00 <2.00> (?)
...va/at/ac/tuwien/kr/alpha/solver/WatchedNoGood.java	67.08% <50.00%> (-0.45%)	31.00 <0.00> (ø)
.../at/ac/tuwien/kr/alpha/common/NonGroundNoGood.java	53.48% <53.48%> (ø)	10.00 <10.00> (?)
...main/java/at/ac/tuwien/kr/alpha/common/NoGood.java	71.87% <57.14%> (-0.66%)	47.00 <2.00> (+1.00)	:arrow_down:
...t/ac/tuwien/kr/alpha/grounder/NoGoodGenerator.java	97.91% <98.18%> (-0.42%)	23.00 <21.00> (ø)
.../at/ac/tuwien/kr/alpha/common/NoGoodInterface.java	100.00% <100.00%> (ø)	5.00 <1.00> (+1.00)
... and 13 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 2239eb3...aa79539. Read the comment docs.