OpenCog Framework
Branch: master, revision 6f0b7fc776b08468cf1b74aa9db028f387b4f0c0
|
#include <DefaultImplicator.h>
Public Member Functions | |
AFImplicator (AtomSpace *asp) | |
virtual void | set_pattern (const Variables &vars, const Pattern &pat) |
![]() | |
Implicator (AtomSpace *as) | |
virtual bool | grounding (const std::map< Handle, Handle > &var_soln, const std::map< Handle, Handle > &term_soln) |
virtual void | insert_result (const Handle &) |
virtual UnorderedHandleSet | get_result_set () |
virtual HandleSeq | get_result_list () |
![]() | |
virtual | ~PatternMatchCallback () |
virtual bool | fuzzy_match (const Handle &ph, const Handle &gh) |
virtual void | push (void) |
virtual void | pop (void) |
![]() | |
InitiateSearchCB (AtomSpace *) | |
virtual bool | initiate_search (PatternMatchEngine *) |
![]() | |
AttentionalFocusCB (AtomSpace *) | |
bool | node_match (const Handle &, const Handle &) |
bool | link_match (const LinkPtr &, const LinkPtr &) |
IncomingSet | get_incoming_set (const Handle &) |
![]() | |
DefaultPatternMatchCB (AtomSpace *) | |
virtual bool | variable_match (const Handle &, const Handle &) |
virtual bool | post_link_match (const LinkPtr &, const LinkPtr &) |
virtual bool | clause_match (const Handle &, const Handle &) |
virtual bool | optional_clause_match (const Handle &pattrn, const Handle &grnd) |
virtual bool | evaluate_sentence (const Handle &pat, const std::map< Handle, Handle > &gnds) |
virtual const std::set< Type > & | get_connectives (void) |
bool | optionals_present (void) |
Attentional Focus specific PatternMatchCallback implementation
Definition at line 59 of file DefaultImplicator.h.
|
inline |
Definition at line 65 of file DefaultImplicator.h.
|
inlinevirtual |
Called to perform the actual search. This makes some default assumptions about the kind of things that might be matched, in order to drive a reasonably-fast search.
Reimplemented from opencog::InitiateSearchCB.
Definition at line 72 of file DefaultImplicator.h.
References opencog::InitiateSearchCB::set_pattern(), and opencog::DefaultPatternMatchCB::set_pattern().