#include <Linear_System.defs.hh>
An iterator on the vector of Row objects encoded in a Linear_System extended to maintain a corresponding iterator on a vector of Saturation_Row objects. Access to values is always done on the Row objects, but iterator movements and swaps are done on both components.
Definition at line 435 of file Linear_System.defs.hh.
typedef std::vector<Row>::iterator Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::Iter1 |
Definition at line 437 of file Linear_System.defs.hh.
typedef std::vector<Saturation_Row>::iterator Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::Iter2 |
Definition at line 438 of file Linear_System.defs.hh.
typedef std::iterator_traits<Iter1>::iterator_category Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::iterator_category |
Definition at line 446 of file Linear_System.defs.hh.
typedef std::iterator_traits<Iter1>::value_type Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::value_type |
Definition at line 447 of file Linear_System.defs.hh.
typedef std::iterator_traits<Iter1>::difference_type Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::difference_type |
Definition at line 448 of file Linear_System.defs.hh.
typedef std::iterator_traits<Iter1>::pointer Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::pointer |
Definition at line 449 of file Linear_System.defs.hh.
typedef std::iterator_traits<Iter1>::reference Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::reference |
Definition at line 450 of file Linear_System.defs.hh.
Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::With_Saturation_Matrix_iterator | ( | Iter1 | iter1, | |
Iter2 | iter2 | |||
) | [inline] |
Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::With_Saturation_Matrix_iterator | ( | const With_Saturation_Matrix_iterator & | y | ) | [inline] |
Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::~With_Saturation_Matrix_iterator | ( | ) | [inline] |
Linear_System::With_Saturation_Matrix_iterator & Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator= | ( | const With_Saturation_Matrix_iterator & | y | ) | [inline] |
Linear_System::With_Saturation_Matrix_iterator & Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator++ | ( | ) | [inline] |
Linear_System::With_Saturation_Matrix_iterator Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator++ | ( | int | ) | [inline] |
Definition at line 285 of file Linear_System.inlines.hh.
References operator++().
00285 { 00286 With_Saturation_Matrix_iterator tmp = *this; 00287 operator++(); 00288 return tmp; 00289 }
Linear_System::With_Saturation_Matrix_iterator & Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator-- | ( | ) | [inline] |
Linear_System::With_Saturation_Matrix_iterator Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator-- | ( | int | ) | [inline] |
Definition at line 299 of file Linear_System.inlines.hh.
References operator--().
00299 { 00300 With_Saturation_Matrix_iterator tmp = *this; 00301 operator--(); 00302 return tmp; 00303 }
Linear_System::With_Saturation_Matrix_iterator & Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator+= | ( | difference_type | d | ) | [inline] |
Linear_System::With_Saturation_Matrix_iterator Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator+ | ( | difference_type | d | ) | const [inline] |
Definition at line 314 of file Linear_System.inlines.hh.
00314 { 00315 With_Saturation_Matrix_iterator tmp = *this; 00316 tmp += d; 00317 return tmp; 00318 }
Linear_System::With_Saturation_Matrix_iterator & Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator-= | ( | difference_type | d | ) | [inline] |
Linear_System::With_Saturation_Matrix_iterator Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator- | ( | difference_type | d | ) | const [inline] |
Definition at line 329 of file Linear_System.inlines.hh.
00329 { 00330 With_Saturation_Matrix_iterator tmp = *this; 00331 tmp -= d; 00332 return tmp; 00333 }
Linear_System::With_Saturation_Matrix_iterator::difference_type Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator- | ( | const With_Saturation_Matrix_iterator & | y | ) | const [inline] |
Distance operator.
Definition at line 337 of file Linear_System.inlines.hh.
References i1.
00337 { 00338 return i1 - y.i1; 00339 }
bool Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator== | ( | const With_Saturation_Matrix_iterator & | y | ) | const [inline] |
Definition at line 343 of file Linear_System.inlines.hh.
References i1.
00343 { 00344 return i1 == y.i1; 00345 }
bool Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator!= | ( | const With_Saturation_Matrix_iterator & | y | ) | const [inline] |
Definition at line 349 of file Linear_System.inlines.hh.
References i1.
00349 { 00350 return i1 != y.i1; 00351 }
bool Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator< | ( | const With_Saturation_Matrix_iterator & | y | ) | const [inline] |
Definition at line 355 of file Linear_System.inlines.hh.
References i1.
00355 { 00356 return i1 < y.i1; 00357 }
Linear_System::With_Saturation_Matrix_iterator::reference Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator* | ( | ) | const [inline] |
Dereferencing operator.
Definition at line 360 of file Linear_System.inlines.hh.
References i1.
00360 { 00361 return *i1; 00362 }
Linear_System::With_Saturation_Matrix_iterator::pointer Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::operator-> | ( | ) | const [inline] |
Access-through operator.
Definition at line 365 of file Linear_System.inlines.hh.
References i1.
00365 { 00366 return &*i1; 00367 }
void Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator::iter_swap | ( | const With_Saturation_Matrix_iterator & | y | ) | const [inline] |
Swaps the pointed Row objects while keeping Saturation_Matrix consistent.
Definition at line 371 of file Linear_System.inlines.hh.
void iter_swap | ( | Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator | x, | |
Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator | y | |||
) | [related] |
Specializes std::iter_swap
.
Definition at line 384 of file Linear_System.inlines.hh.
00387 { 00388 x.iter_swap(y); 00389 }
Definition at line 441 of file Linear_System.defs.hh.
Referenced by iter_swap(), operator!=(), operator*(), operator++(), operator+=(), operator-(), operator--(), operator-=(), operator->(), operator<(), operator=(), and operator==().
Definition at line 442 of file Linear_System.defs.hh.
Referenced by iter_swap(), operator++(), operator+=(), operator--(), operator-=(), and operator=().