OpenCog Framework  Branch: master, revision 6f0b7fc776b08468cf1b74aa9db028f387b4f0c0
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
opencog::Implicator Member List

This is the complete list of members for opencog::Implicator, including all inherited members.

_result_changedopencog::Implicatorprotected
_result_listopencog::Implicatorprotected
_result_setopencog::Implicatorprotected
clause_match(const Handle &pattrn_link_h, const Handle &grnd_link_h)opencog::PatternMatchCallbackinlinevirtual
evaluate_sentence(const Handle &eval, const std::map< Handle, Handle > &gnds)=0opencog::PatternMatchCallbackpure virtual
fuzzy_match(const Handle &ph, const Handle &gh)opencog::PatternMatchCallbackinlinevirtual
get_connectives(void)opencog::PatternMatchCallbackinlinevirtual
get_incoming_set(const Handle &h)opencog::PatternMatchCallbackinlinevirtual
get_result_list()opencog::Implicatorvirtual
get_result_set()opencog::Implicatorinlinevirtual
grounding(const std::map< Handle, Handle > &var_soln, const std::map< Handle, Handle > &term_soln)opencog::Implicatorvirtual
implicandopencog::Implicator
Implicator(AtomSpace *as)opencog::Implicatorinline
initiate_search(PatternMatchEngine *)=0opencog::PatternMatchCallbackpure virtual
insert_result(const Handle &)opencog::Implicatorvirtual
instopencog::Implicator
link_match(const LinkPtr &patt_link, const LinkPtr &grnd_link)=0opencog::PatternMatchCallbackpure virtual
max_resultsopencog::Implicator
node_match(const Handle &patt_node, const Handle &grnd_node)=0opencog::PatternMatchCallbackpure virtual
optional_clause_match(const Handle &pattrn, const Handle &grnd)=0opencog::PatternMatchCallbackpure virtual
pop(void)opencog::PatternMatchCallbackinlinevirtual
post_link_match(const LinkPtr &patt_link, const LinkPtr &grnd_link)opencog::PatternMatchCallbackinlinevirtual
push(void)opencog::PatternMatchCallbackinlinevirtual
set_pattern(const Variables &vars, const Pattern &pat)=0opencog::PatternMatchCallbackpure virtual
variable_match(const Handle &patt_node, const Handle &grnd_node)=0opencog::PatternMatchCallbackpure virtual
~PatternMatchCallback()opencog::PatternMatchCallbackinlinevirtual