Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added zero cardinality constraint rules #317

Merged
merged 1 commit into from
Sep 26, 2020

Conversation

robert-david
Copy link

#316

Added counting for zero cardinality triple constraints.
Added node targeting based on shape map.

@codecov-commenter
Copy link

codecov-commenter commented Sep 23, 2020

Codecov Report

Merging #317 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #317   +/-   ##
=======================================
  Coverage   46.91%   46.91%           
=======================================
  Files          52       52           
  Lines        1914     1914           
  Branches       62       62           
=======================================
  Hits          898      898           
  Misses       1016     1016           
Impacted Files Coverage Δ
...ng/src/main/scala/es/weso/slang/SLang2Clingo.scala 82.05% <ø> (ø)

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 27b8df6...eebb48a. Read the comment docs.

@labra labra merged commit 7c09a4e into weso:master Sep 26, 2020
@labra
Copy link
Member

labra commented Sep 26, 2020

Thanks for the PR.

It would be great to configure the system to have some tests for the Clingo encoding, but at this moment we don't have it yet, so I merged it anyway.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants