OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-ure commits / ed13fdb

Revert "Revert "Change MapLink to FilterLink""
This reverts commit ea1234c5614a000e494e6dff45f740327310df6a.
ed13fdb9748b4337316aa6c689b744d2255b4b34
by Linas Vepstas <linasvepstas@gmail.com> · 2022-12-15T06:24:04.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/MapLink.h>
29#include <opencog/atoms/core/FilterLink.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(MapLink(impl, tmp_term).execute(&tmp_as, false));
325 result = HandleCast(FilterLink(impl, tmp_term).execute(&tmp_as, false));
326326
327327 return (SET_LINK != result->get_type()) or (result->get_arity() != 0);
328328}