PPL  1.2
Polyhedron_nonpublic.cc File Reference
#include "ppl-config.h"
#include "Polyhedron_defs.hh"
#include "Scalar_Products_defs.hh"
#include "Scalar_Products_inlines.hh"
#include "Linear_Form_defs.hh"
#include "C_Integer.hh"
#include "assertions.hh"
#include <string>
#include <iostream>
#include <sstream>
#include <stdexcept>
Include dependency graph for Polyhedron_nonpublic.cc:

Go to the source code of this file.

Macros

#define BE_LAZY   1
 Controls the laziness level of the implementation. More...
 

Macro Definition Documentation

#define BE_LAZY   1

Controls the laziness level of the implementation.

Temporarily used in a few of the function implementations to switch to an even more lazy algorithm. To be removed as soon as we collect enough information to decide which is the better implementation alternative.

Definition at line 48 of file Polyhedron_nonpublic.cc.