Skip to content

Conversation

bjk17
Copy link
Member

@bjk17 bjk17 commented May 29, 2019

NEW module: combcov with classes Rule (abstract interface) and CombCov(Rule).
NEW module: demo with class StringSet implementing Rule interface, main() method finding a cover for Av(aa) (set of strings avoiding two consecutive a's) over the alphabet {a,b}.

@bjk17
Copy link
Member Author

bjk17 commented May 29, 2019

Coverage decreased down from 95% to 90% mainly because the pass commands in the abstract Rule class are not executed in the unittests.

Conclusion: Nothing to worry about, will merge PR.

@bjk17 bjk17 merged commit 67b8fb8 into master May 29, 2019
@bjk17 bjk17 deleted the refactor-combcov-before-trying-out-tilings branch May 29, 2019 15:33
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.

1 participant