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

knowledge base not converting all items to lower case #199

Open
oscar-lima opened this issue Jun 11, 2019 · 2 comments
Open

knowledge base not converting all items to lower case #199

oscar-lima opened this issue Jun 11, 2019 · 2 comments

Comments

@oscar-lima
Copy link
Collaborator

bug discovered with martkinkoling PR

PDDL is supposed to be case insensitive, in practice what this means is that all is (should be) converted to lowercase.

@m312z
Copy link
Contributor

m312z commented Jul 5, 2019

I would prefer to have all comparisons be case insensitive. Otherwise capitalization will be lost in various nodes, e.g. reading a problem file into the KB and writing again after some minor modifications.

@oscar-lima
Copy link
Collaborator Author

ok agreed

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

No branches or pull requests

2 participants