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 >::SecondCompare Struct Reference

Comparator that performs a heterogeneous lookup on the second 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 SecondKeyType &rhs) const
 
bool operator() (const SecondKeyType &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 >::SecondCompare

Comparator that performs a heterogeneous lookup on the second key.

Definition at line 51 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 >::SecondCompare::is_transparent = void

Definition at line 53 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 >::SecondCompare::operator() ( const Iterator &  lhs,
const Iterator &  rhs 
) const
inline

Definition at line 55 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 >::SecondCompare::operator() ( const Iterator &  lhs,
const SecondKeyType &  rhs 
) const
inline

Definition at line 60 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 >::SecondCompare::operator() ( const SecondKeyType &  lhs,
const Iterator &  rhs 
) const
inline

Definition at line 65 of file Bimap.h.

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