Parma_Polyhedra_Library::Linear_System::With_Pending Struct Reference
[C++ Language Interface]

A tag class. More...

#include <Linear_System.defs.hh>


Detailed Description

A tag class.

Tag class to differentiate the Linear_System copy constructor that copies pending rows as pending from the one that transforms pending rows into non-pending ones.

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


The documentation for this struct was generated from the following file:
Generated on Sun Feb 27 16:20:23 2011 for PPL by  doxygen 1.6.3