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 88 of file Linear_System.defs.hh.


The documentation for this struct was generated from the following file:

Generated on Sat Oct 11 10:41:06 2008 for PPL by  doxygen 1.5.6