lumiera::anonymous_namespace{query.hpp} Namespace Reference

Typedefs
typedef lib::TypedContext< Goal::Result >	ResultType
	Context used for generating type-IDs to denote the specific result types of issued queries.

Functions
template<typename RES >
IxID	getResultTypeID ()
size_t	taggedHash (size_t hash, Goal::QueryID typeID)
	includes the QueryID type distinction into the given hash value