OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-ure commits / ea1234c

Revert "Change MapLink to FilterLink"
This reverts commit f8a5b1cab70d34fceca65fb7b82a587c8cd1491d.
ea1234c5614a000e494e6dff45f740327310df6a
by Linas Vepstas <linasvepstas@gmail.com> · 2022-12-15T04:38:54.000Z

Changed files (1) +2 -2

opencog/ure/backwardchainer/ControlPolicy.cc +2 -2
……@@ -26,7 +26,7 @@
2626#include <opencog/util/random.h>
2727#include <opencog/util/algorithm.h>
2828#include <opencog/unify/Unify.h>
29#include <opencog/atoms/core/FilterLink.h>
29#include <opencog/atoms/core/MapLink.h>
3030
3131#include "../MixtureModel.h"
3232#include "../ActionSelection.h"
……@@ -322,7 +322,7 @@ bool ControlPolicy::match(const Handle& pattern, const Handle& term,
322322 impl = tmp_as.add_link(IMPLICATION_SCOPE_LINK,
323323 vardecl, pattern, rewrite),
324324 tmp_term = tmp_as.add_atom(term),
325 result = HandleCast(FilterLink(impl, tmp_term).execute(&tmp_as, false));
325 result = HandleCast(MapLink(impl, tmp_term).execute(&tmp_as, false));
326326
327327 return (SET_LINK != result->get_type()) or (result->get_arity() != 0);
328328}