conversion.cc File Reference

#include <config.h>
#include "Linear_Row.defs.hh"
#include "Linear_System.defs.hh"
#include "Saturation_Row.defs.hh"
#include "Saturation_Matrix.defs.hh"
#include "Polyhedron.defs.hh"
#include "Scalar_Products.defs.hh"
#include <cstddef>

Include dependency graph for conversion.cc:

Go to the source code of this file.

Defines
#define	REACTIVE_ABANDONING   1

---

Define Documentation

#define REACTIVE_ABANDONING   1

Definition at line 38 of file conversion.cc.