Saturation_Row.cc File Reference

#include <config.h>
#include "Saturation_Row.defs.hh"
#include <cassert>
#include <climits>

Include dependency graph for Saturation_Row.cc:

Go to the source code of this file.

Defines
#define	BITS_PER_GMP_LIMB   (SIZEOF_MP_LIMB_T*CHAR_BIT)

---

Define Documentation

#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().