SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Types | Public Member Functions
smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::FirstCompare Struct Reference

Comparator that performs a heterogeneous lookup on the first key. More...

Public Types

using is_transparent = void
 

Public Member Functions

bool operator() (const Iterator &lhs, const Iterator &rhs) const
 
bool operator() (const Iterator &lhs, const FirstKeyType &rhs) const
 
bool operator() (const FirstKeyType &lhs, const Iterator &rhs) const
 

Detailed Description

template<class Class, typename FirstKeyType, FirstKeyType Class::* FirstKeyName, typename SecondKeyType, SecondKeyType Class::* SecondKeyName>
struct smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::FirstCompare

Comparator that performs a heterogeneous lookup on the first key.

Definition at line 30 of file Bimap.h.

Member Typedef Documentation

◆ is_transparent

template<class Class , typename FirstKeyType , FirstKeyType Class::* FirstKeyName, typename SecondKeyType , SecondKeyType Class::* SecondKeyName>
using smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::FirstCompare::is_transparent = void

Definition at line 32 of file Bimap.h.

Member Function Documentation

◆ operator()() [1/3]

template<class Class , typename FirstKeyType , FirstKeyType Class::* FirstKeyName, typename SecondKeyType , SecondKeyType Class::* SecondKeyName>
bool smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::FirstCompare::operator() ( const FirstKeyType &  lhs,
const Iterator &  rhs 
) const
inline

Definition at line 44 of file Bimap.h.

◆ operator()() [2/3]

template<class Class , typename FirstKeyType , FirstKeyType Class::* FirstKeyName, typename SecondKeyType , SecondKeyType Class::* SecondKeyName>
bool smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::FirstCompare::operator() ( const Iterator &  lhs,
const FirstKeyType &  rhs 
) const
inline

Definition at line 39 of file Bimap.h.

◆ operator()() [3/3]

template<class Class , typename FirstKeyType , FirstKeyType Class::* FirstKeyName, typename SecondKeyType , SecondKeyType Class::* SecondKeyName>
bool smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::FirstCompare::operator() ( const Iterator &  lhs,
const Iterator &  rhs 
) const
inline

Definition at line 34 of file Bimap.h.

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