carl  24.04
Computer ARithmetic Library
Public Types | Static Public Member Functions | Static Public Attributes
carl::CriticalPairConfiguration< Compare > Class Template Reference

#include <CriticalPairs.h>

Public Types

using Entry = CriticalPairsEntry< Compare > *
 
using CompareResult = carl::CompareResult
 
using Order = Compare
 

Static Public Member Functions

static CompareResult compare (Entry e1, Entry e2)
 
static bool cmpLessThan (CompareResult res)
 
static bool cmpEqual (CompareResult res)
 

Static Public Attributes

static const bool supportDeduplicationWhileOrdering = false
 
static const bool fastIndex = true
 

Detailed Description

template<class Compare>
class carl::CriticalPairConfiguration< Compare >

Definition at line 22 of file CriticalPairs.h.

Member Typedef Documentation

◆ CompareResult

template<class Compare >
using carl::CriticalPairConfiguration< Compare >::CompareResult = carl::CompareResult

Definition at line 26 of file CriticalPairs.h.

◆ Entry

template<class Compare >
using carl::CriticalPairConfiguration< Compare >::Entry = CriticalPairsEntry<Compare>*

Definition at line 25 of file CriticalPairs.h.

◆ Order

template<class Compare >
using carl::CriticalPairConfiguration< Compare >::Order = Compare

Definition at line 44 of file CriticalPairs.h.

Member Function Documentation

◆ cmpEqual()

template<class Compare >
static bool carl::CriticalPairConfiguration< Compare >::cmpEqual ( CompareResult  res)
inlinestatic

Definition at line 39 of file CriticalPairs.h.

◆ cmpLessThan()

template<class Compare >
static bool carl::CriticalPairConfiguration< Compare >::cmpLessThan ( CompareResult  res)
inlinestatic

Definition at line 33 of file CriticalPairs.h.

◆ compare()

template<class Compare >
static CompareResult carl::CriticalPairConfiguration< Compare >::compare ( Entry  e1,
Entry  e2 
)
inlinestatic

Definition at line 28 of file CriticalPairs.h.

Here is the call graph for this function:

Field Documentation

◆ fastIndex

template<class Compare >
const bool carl::CriticalPairConfiguration< Compare >::fastIndex = true
static

Definition at line 45 of file CriticalPairs.h.

◆ supportDeduplicationWhileOrdering

template<class Compare >
const bool carl::CriticalPairConfiguration< Compare >::supportDeduplicationWhileOrdering = false
static

Definition at line 37 of file CriticalPairs.h.

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