#include <BackwardChainerPMCB.h>

Inheritance diagram for opencog::BackwardChainerPMCB:

Collaboration diagram for opencog::BackwardChainerPMCB:

Public Member Functions
	BackwardChainerPMCB (AtomSpace *, VariableListPtr)

virtual	~BackwardChainerPMCB ()

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

virtual bool	grounding (const std::map< Handle, Handle > &var_soln, const std::map< Handle, Handle > &pred_soln)

std::vector< std::map< Handle, Handle > >	get_var_list ()

std::vector< std::map< Handle, Handle > >	get_pred_list ()

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

virtual bool	initiate_search (PatternMatchEngine *)

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::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)

Protected Attributes
AtomSpace *	_as

VariableListPtr	_int_vars

std::vector< std::map< Handle, Handle > >	var_solns_

std::vector< std::map< Handle, Handle > >	pred_solns_

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

Additional Inherited Members
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)

Detailed Description

Definition at line 33 of file BackwardChainerPMCB.h.

Constructor & Destructor Documentation

BackwardChainerPMCB::BackwardChainerPMCB	(	AtomSpace *	as,
		VariableListPtr	int_vars
	)

Definition at line 29 of file BackwardChainerPMCB.cc.

BackwardChainerPMCB::~BackwardChainerPMCB ( )

virtual

Definition at line 37 of file BackwardChainerPMCB.cc.

Member Function Documentation

std::vector< std::map< Handle, Handle > > BackwardChainerPMCB::get_pred_list ( )

Definition at line 67 of file BackwardChainerPMCB.cc.

References pred_solns_.

Here is the caller graph for this function:

std::vector< std::map< Handle, Handle > > BackwardChainerPMCB::get_var_list ( )

Return list of matching results found by the pattern matcher

Returns

Definition at line 63 of file BackwardChainerPMCB.cc.

References var_solns_.

Here is the caller graph for this function:

bool BackwardChainerPMCB::grounding	(	const std::map< Handle, Handle > &	var_soln,
		const std::map< Handle, Handle > &	term_soln
	)

virtual

Called when a complete grounding for all clauses is found. Should return false to search for more solutions; or return true to terminate search. (Just as in all the other callbacks, a return value of true means that the proposed grounding is acceptable. The engine is designed to halt once an acceptable solution has been found; thus, in order to force it to search for more, a return value of false is needed.)

Note that the callback may be called many times reporting the same result.

Implements opencog::PatternMatchCallback.

Reimplemented in opencog::UnifyPMCB.

Definition at line 41 of file BackwardChainerPMCB.cc.

References _int_vars, pred_solns_, and var_solns_.