#include <ppl-config.h>#include "Linear_Row.defs.hh"#include "Linear_System.defs.hh"#include "Bit_Row.defs.hh"#include "Bit_Matrix.defs.hh"#include "Polyhedron.defs.hh"#include "Scalar_Products.defs.hh"#include "Temp.defs.hh"#include <cstddef>#include <climits>

Go to the source code of this file.
Defines | |
| #define | REACTIVE_ABANDONING 1 |
| #define REACTIVE_ABANDONING 1 |
Definition at line 40 of file conversion.cc.
1.5.6