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

Provide better fix for determining when dummies are needed #2884

Merged

linas merged 2 commits into opencog:master from linas:terms-for-all-vars

Nov 5, 2021

Member

linas commented Nov 5, 2021

All variables must appear somewhere, in order for the pattern engine to find them. This provides a better check for that.

linas added 2 commits

November 4, 2021 21:40


          Provide a superior test for teh need for dummies

6674aac


          Move brand-new blob of code to it's own method.

22dceff

Member Author

linas commented Nov 5, 2021

TemporalReasoningUTest failure per opencog/pln#60

linas merged commit 99848e8 into opencog:master

linas deleted the terms-for-all-vars branch

November 5, 2021 03:51

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

Labels

None yet