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.

Sign up for GitHub

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

Jump to bottom

[CLOSED] Look Into Closer Coupling of Logical and Arithmetic Rules #72

Closed

eriq-augustine opened this issue Oct 30, 2019 · 1 comment

Labels

Difficulty - Medium Type - Refactor

Member

eriq-augustine commented Oct 30, 2019

Issue by eriq-augustine
Friday Nov 18, 2016 at 00:26 GMT
Originally opened as eriq-augustine#25

Take a gander and see if they could be made more consistent or shared code can be removed.

I noticed how ground versions of these are made is inconsistent.

ArithmeticRules - makeGroundRule()
LogicalRules - groundFormulaInstance()

eriq-augustine added Difficulty - Medium Type - Refactor labels

Member Author

eriq-augustine commented Oct 30, 2019

Comment by eriq-augustine
Tuesday Nov 07, 2017 at 02:29 GMT

I thought about this while doing Lazy Grounding, but did not see any places for closer coupling.

eriq-augustine closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment