#include <config.h>
#include "Saturation_Row.defs.hh"
#include <cassert>
#include <climits>
Go to the source code of this file.
Defines | |
#define | BITS_PER_GMP_LIMB (SIZEOF_MP_LIMB_T*CHAR_BIT) |
#define BITS_PER_GMP_LIMB (SIZEOF_MP_LIMB_T*CHAR_BIT) |
Definition at line 31 of file Saturation_Row.cc.
Referenced by Parma_Polyhedra_Library::Saturation_Row::first(), Parma_Polyhedra_Library::Saturation_Row::last(), Parma_Polyhedra_Library::Saturation_Row::next(), and Parma_Polyhedra_Library::Saturation_Row::prev().