ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
radix.hpp File Reference
#include "global.h"
#include <cassert>
#include <cstring>
#include <iterator>
#include <vector>
Include dependency graph for radix.hpp:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  CaDiCaL::pointer_rank
 

Namespaces

namespace  CaDiCaL
 

Macros

#define MSORT(LIMIT, FIRST, LAST, RANK, LESS)
 

Functions

template<class I, class Rank>
void CaDiCaL::rsort (I first, I last, Rank rank)
 

Macro Definition Documentation

◆ MSORT

#define MSORT ( LIMIT,
FIRST,
LAST,
RANK,
LESS )
Value:
do { \
const size_t N = LAST - FIRST; \
if (N <= (size_t) (LIMIT)) \
sort (FIRST, LAST, LESS); \
else \
rsort (FIRST, LAST, RANK); \
} while (0)
#define RANK(A)
Definition bump.c:14

Definition at line 173 of file radix.hpp.

173#define MSORT(LIMIT, FIRST, LAST, RANK, LESS) \
174 do { \
175 const size_t N = LAST - FIRST; \
176 if (N <= (size_t) (LIMIT)) \
177 sort (FIRST, LAST, LESS); \
178 else \
179 rsort (FIRST, LAST, RANK); \
180 } while (0)