QueryKey Class Reference

#include "common/query.hpp"

Description

Wrapper for indexing and ordering.

Defines a synthetic totally ordered index value. Implicitly convertible to and from Query instances.

Definition at line 370 of file query.hpp.

Public Member Functions
	QueryKey (Goal::QueryID id, lib::QueryText q)
	QueryKey ()
	the empty or bottom query key
template<class RES >
	operator Query< RES > () const
string	display () const
string	getQueryString () const
uint	degree () const
bool	empty () const
bool	operator== (QueryKey const &) const =default

Friends
std::strong_ordering	operator<=> (QueryKey const &q1, QueryKey const &q2)
size_t	hash_value (QueryKey const &q)

Private Attributes
Goal::QueryID	id_
lib::QueryText	def_

Constructor & Destructor Documentation

QueryKey() [1/2]

QueryKey ( Goal::QueryID  id, lib::QueryText  q  )

inline

Definition at line 376 of file query.hpp.

References QueryKey::def_.

QueryKey() [2/2]

QueryKey ( )

inline

the empty or bottom query key

Definition at line 384 of file query.hpp.

Member Function Documentation

operator Query< RES >()

template<class RES >

operator Query< RES > ( ) const

inline

Definition at line 392 of file query.hpp.

References Query< RES >::build(), QueryKey::def_, Query< RES >::Builder::fromText(), QueryKey::id_, Goal::QueryID::kind, and Goal::QueryID::type.

Here is the call graph for this function:

display()

string display ( ) const

inline

Definition at line 399 of file query.hpp.

References QueryKey::def_, QueryKey::id_, Goal::QueryID::kind, and Goal::QueryID::type.

Referenced by Record< TAR >::operator string().

Here is the caller graph for this function:

getQueryString()

string getQueryString ( ) const

inline

Definition at line 407 of file query.hpp.

References QueryKey::def_.

Referenced by DefsRegistryImpl_test::fill_table().

Here is the caller graph for this function:

degree()

uint degree ( ) const

inline

Definition at line 414 of file query.hpp.

References QueryKey::def_, and QueryText::degree_of_constriction().

Referenced by DefsRegistryImpl_test::check_query().

Here is the call graph for this function:

Here is the caller graph for this function:

empty()

bool empty ( ) const

inline

Definition at line 420 of file query.hpp.

References Goal::EMPTY, QueryKey::id_, and Goal::QueryID::kind.

operator==()

bool operator== ( QueryKey const &  ) const

default

Member Data Documentation

id_

Goal::QueryID id_

private

Definition at line 372 of file query.hpp.

Referenced by QueryKey::display(), QueryKey::empty(), and QueryKey::operator Query< RES >().

def_

lib::QueryText def_

private

Definition at line 373 of file query.hpp.

Referenced by QueryKey::QueryKey(), QueryKey::degree(), QueryKey::display(), QueryKey::getQueryString(), and QueryKey::operator Query< RES >().

Friends And Related Symbol Documentation

operator<=>

std::strong_ordering operator<=> ( QueryKey const &  q1, QueryKey const &  q2  )

friend

Definition at line 426 of file query.hpp.

hash_value

size_t hash_value ( QueryKey const &  q )

friend

Definition at line 441 of file query.hpp.

Collaboration diagram for QueryKey:

---

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

• query.hpp