Public Member Functions
	BindingResult (HLPBindingMap map, Fact ground, MkRdx *ground_mk_rdx)

Detailed Description

A BindingResult is used by methods such as retrieve_simulated_imdl_fwd to return the updated binding maps for multiple matches.

Definition at line 112 of file mdl_controller.h.

Constructor & Destructor Documentation

r_exec::BindingResult::BindingResult	(	HLPBindingMap *	map,
		Fact *	ground,
		MkRdx *	ground_mk_rdx
	)

inline

Create a HLPBindingMap with the given values.

Parameters

map	The HLPBindingMap. This keeps a P<HLPBindingMap> for it.
ground	A pointer to the Fact which is the ground for the bindings. This only keeps a pointer.
ground_mk_rdx	A pointer to the mk.rdx which made ground, or NULL if not available. This only keeps a pointer.

Definition at line 120 of file mdl_controller.h.

The documentation for this class was generated from the following file: