#include <DefaultImplicator.h>

Inheritance diagram for opencog::DefaultImplicator:

Collaboration diagram for opencog::DefaultImplicator:

Public Member Functions
	DefaultImplicator (AtomSpace *asp)

virtual void	set_pattern (const Variables &vars, const Pattern &pat)

Public Member Functions inherited from opencog::Implicator
	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 ()

Public Member Functions inherited from opencog::PatternMatchCallback
virtual	~PatternMatchCallback ()

virtual bool	fuzzy_match (const Handle &ph, const Handle &gh)

virtual IncomingSet	get_incoming_set (const Handle &h)

virtual void	push (void)

virtual void	pop (void)

Public Member Functions inherited from opencog::InitiateSearchCB
	InitiateSearchCB (AtomSpace *)

virtual bool	initiate_search (PatternMatchEngine *)

Public Member Functions inherited from opencog::DefaultPatternMatchCB
	DefaultPatternMatchCB (AtomSpace *)

virtual bool	node_match (const Handle &, const Handle &)

virtual bool	variable_match (const Handle &, const Handle &)

virtual bool	link_match (const LinkPtr &, const LinkPtr &)

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)

Additional Inherited Members
Public Attributes inherited from opencog::Implicator
Instantiator	inst

Handle	implicand

size_t	max_results

Protected Member Functions inherited from opencog::InitiateSearchCB
virtual Handle	find_starter (const Handle &, size_t &, Handle &, size_t &)

virtual Handle	find_thinnest (const HandleSeq &, const std::set< Handle > &, Handle &, size_t &)

virtual void	find_rarest (const Handle &, Handle &, size_t &)

virtual bool	neighbor_search (PatternMatchEngine *)

virtual bool	link_type_search (PatternMatchEngine *)

virtual bool	variable_search (PatternMatchEngine *)

virtual bool	no_search (PatternMatchEngine *)

Protected Member Functions inherited from opencog::DefaultPatternMatchCB
bool	eval_term (const Handle &pat, const std::map< Handle, Handle > &gnds)

bool	eval_sentence (const Handle &pat, const std::map< Handle, Handle > &gnds)

Protected Attributes inherited from opencog::Implicator
UnorderedHandleSet	_result_set

HandleSeq	_result_list

bool	_result_changed

Protected Attributes inherited from opencog::InitiateSearchCB
ClassServer &	_classserver

const Variables *	_variables

const Pattern *	_pattern

const VariableTypeMap *	_type_restrictions

const std::set< Handle > *	_dynamic

Handle	_root

Handle	_starter_term

bool	_search_fail

AtomSpace *	_as

Protected Attributes inherited from opencog::DefaultPatternMatchCB
ClassServer &	_classserver

const VariableTypeMap *	_type_restrictions = NULL

const std::set< Handle > *	_dynamic = NULL

bool	_have_evaluatables = false

AtomSpace	_temp_aspace

Instantiator	_instor

std::set< Type >	_connectives

bool	_optionals_present = false

AtomSpace *	_as