Extended support for domain-specific heuristics

[rtaupe]

Support for domain-specific heuristics specified declaratively within ASP programs in the form of heuristic directives, as described in our upcoming research paper Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.

This is continuation of our work in #133.

[codecov[bot]]

Codecov Report

Patch coverage: 82.73% and project coverage change: +0.56 :tada:

Comparison is base (094dd3b) 78.50% compared to head (50a08bf) 79.07%.

:exclamation: Current head 50a08bf differs from pull request most recent head 6a1f37d. Consider uploading reports for the commit 6a1f37d to get more accurate results

Additional details and impacted files

@@             Coverage Diff              @@
##             master     #213      +/-   ##
============================================
+ Coverage     78.50%   79.07%   +0.56%     
- Complexity     2517     2785     +268     
============================================
  Files           189      201      +12     
  Lines          8199     9015     +816     
  Branches       1417     1607     +190     
============================================
+ Hits           6437     7129     +692     
- Misses         1319     1381      +62     
- Partials        443      505      +62     

Impacted Files	Coverage Δ
...kr/alpha/api/mapper/AnswerSetToWorkbookMapper.java	95.83% <ø> (ø)
...va/at/ac/tuwien/kr/alpha/common/atoms/Literal.java	66.66% <ø> (-16.67%)	:arrow_down:
...a/at/ac/tuwien/kr/alpha/common/rule/BasicRule.java	100.00% <ø> (+66.66%)	:arrow_up:
...ien/kr/alpha/common/rule/head/DisjunctiveHead.java	0.00% <0.00%> (ø)
...at/ac/tuwien/kr/alpha/solver/NaiveNoGoodStore.java	94.93% <ø> (ø)
...va/at/ac/tuwien/kr/alpha/solver/NoGoodCounter.java	95.83% <ø> (ø)
...n/kr/alpha/solver/SolverMaintainingStatistics.java	37.50% <ø> (ø)
...olver/heuristics/AlphaHeadMustBeTrueHeuristic.java	0.00% <0.00%> (ø)
...a/solver/heuristics/DependencyDrivenHeuristic.java	1.69% <0.00%> (+0.08%)	:arrow_up:
...en/kr/alpha/solver/heuristics/ReplayHeuristic.java	66.66% <0.00%> (-11.12%)	:arrow_down:
... and 76 more

... and 31 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.

[AntoniusW]

It looks like the parser files have been adapted or split in multiple files -- or maybe some old parsing code is present here. Can you elaborate a bit what happened to the parser and why? Many thanks!

[rtaupe]

It looks like the parser files have been adapted or split in multiple files -- or maybe some old parsing code is present here. Can you elaborate a bit what happened to the parser and why? Many thanks!

Before my changes, we had a grammar file ASPCore2.g4 which, despite its name, contained more features than the core language. I propose to split this into ASPCore2.g4 containing only core features and AlphaASP.g4 containing extensions.