#include <Satisfier.h>

Inheritance diagram for opencog::SatisfyingSet:

Collaboration diagram for opencog::SatisfyingSet:

Public Member Functions
	SatisfyingSet (AtomSpace *as)

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 > &term_soln)

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)

Public Attributes
HandleSeq	_varseq

HandleSeq	_satisfying_set

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)

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

Detailed Description

class SatisfyingSet – pattern matching callback for finding satsifaction.

This class is meant to be used with the pattern matcher. When the pattern matcher calls the callback, it will do so with a particular grounding of the search pattern.

This will record every grounding that is found. Thus, after running, the SatisfyingSet can be examined to see all the groundings that were found.

Definition at line 87 of file Satisfier.h.

Constructor & Destructor Documentation

opencog::SatisfyingSet::SatisfyingSet ( AtomSpace * as )

inline

Definition at line 92 of file Satisfier.h.

Member Function Documentation

bool SatisfyingSet::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.

Definition at line 43 of file Satisfier.cc.

References _satisfying_set, _varseq, and createLink.