PPL  1.2
Parma_Polyhedra_Library::Linear_System< Row >::Unique_Compare Struct Reference

Comparison predicate (used when implementing the unique algorithm). More...

Collaboration diagram for Parma_Polyhedra_Library::Linear_System< Row >::Unique_Compare:

Public Member Functions

 Unique_Compare (const Swapping_Vector< Row > &cont, dimension_type base=0)
 
bool operator() (dimension_type i, dimension_type j) const
 

Public Attributes

const Swapping_Vector< Row > & container
 
const dimension_type base_index
 

Detailed Description

template<typename Row>
struct Parma_Polyhedra_Library::Linear_System< Row >::Unique_Compare

Comparison predicate (used when implementing the unique algorithm).

Definition at line 535 of file Linear_System_defs.hh.

Constructor & Destructor Documentation

template<typename Row>
Parma_Polyhedra_Library::Linear_System< Row >::Unique_Compare::Unique_Compare ( const Swapping_Vector< Row > &  cont,
dimension_type  base = 0 
)
inline

Definition at line 697 of file Linear_System_inlines.hh.

Member Function Documentation

template<typename Row >
bool Parma_Polyhedra_Library::Linear_System< Row >::Unique_Compare::operator() ( dimension_type  i,
dimension_type  j 
) const
inline

Definition at line 705 of file Linear_System_inlines.hh.

705  {
706  return container[base_index + i].is_equal_to(container[base_index + j]);
707 }

Member Data Documentation

template<typename Row>
const dimension_type Parma_Polyhedra_Library::Linear_System< Row >::Unique_Compare::base_index

Definition at line 542 of file Linear_System_defs.hh.

template<typename Row>
const Swapping_Vector<Row>& Parma_Polyhedra_Library::Linear_System< Row >::Unique_Compare::container

Definition at line 541 of file Linear_System_defs.hh.


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