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

Typedef Documentation

ResultType

typedef lib::TypedContext<Goal::Result> ResultType

Context used for generating type-IDs to denote the specific result types of issued queries

Definition at line 195 of file query.hpp.

Function Documentation

getResultTypeID()

template<typename RES >

IxID getResultTypeID ( )

inline

Definition at line 199 of file query.hpp.

References getResultTypeID().

Referenced by getResultTypeID().

Here is the call graph for this function:

Here is the caller graph for this function:

taggedHash()

size_t taggedHash ( size_t  hash, Goal::QueryID  typeID  )

inline

includes the QueryID type distinction into the given hash value

Definition at line 206 of file query.hpp.

References lib::hash::combine(), hash, Goal::QueryID::kind, taggedHash(), and Goal::QueryID::type.

Referenced by taggedHash().

Here is the call graph for this function:

Here is the caller graph for this function: