Linear_System.defs.hh File Reference

#include "Linear_System.types.hh"
#include "Row.types.hh"
#include "Saturation_Row.types.hh"
#include "Saturation_Matrix.types.hh"
#include "Matrix.defs.hh"
#include "Topology.hh"
#include "Linear_Row.defs.hh"
#include "Linear_System.inlines.hh"

Include dependency graph for Linear_System.defs.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  std
namespace  Parma_Polyhedra_Library

Classes

class  Parma_Polyhedra_Library::Linear_System
 The base class for systems of constraints and generators. More...
struct  Parma_Polyhedra_Library::Linear_System::With_Pending
 A tag class. More...
struct  Parma_Polyhedra_Library::Linear_System::Row_Less_Than
 Ordering predicate (used when implementing the sort algorithm). More...
class  Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
 An iterator keeping a Linear_System consistent with a Saturation_Matrix. More...

Defines

#define PPL_Linear_System_defs_hh   1


Define Documentation

#define PPL_Linear_System_defs_hh   1

Definition at line 24 of file Linear_System.defs.hh.


Generated on Wed Jul 16 22:55:12 2008 for PPL by  doxygen 1.5.6