mirror of https://github.com/CGAL/cgal
126 lines
3.5 KiB
C++
126 lines
3.5 KiB
C++
// Copyright (c) 2008 Max-Planck-Institute Saarbruecken (Germany).
|
|
// All rights reserved.
|
|
//
|
|
// This file is part of CGAL (www.cgal.org); you can redistribute it and/or
|
|
// modify it under the terms of the GNU Lesser General Public License as
|
|
// published by the Free Software Foundation; version 2.1 of the License.
|
|
// See the file LICENSE.LGPL distributed with CGAL.
|
|
//
|
|
// Licensees holding a valid commercial license may use this file in
|
|
// accordance with the commercial license agreement provided with the software.
|
|
//
|
|
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
|
|
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
|
|
//
|
|
// $URL$
|
|
// $Id$
|
|
//
|
|
//
|
|
// Author(s) : Sebastian Limbach
|
|
// Michael Hemmer
|
|
//
|
|
// ============================================================================
|
|
|
|
#ifndef CGAL_EXPONENT_VECTOR_H
|
|
#define CGAL_EXPONENT_VECTOR_H
|
|
|
|
#include <deque>
|
|
#include <iterator>
|
|
#include <algorithm>
|
|
#include <vector>
|
|
#include <CGAL/assertions.h>
|
|
|
|
|
|
CGAL_BEGIN_NAMESPACE
|
|
|
|
class Exponent_vector :
|
|
public std::vector<int>,
|
|
public boost::less_than_comparable1< Exponent_vector >
|
|
{
|
|
typedef std::vector<int> Base;
|
|
public:
|
|
Exponent_vector(): Base(){};
|
|
|
|
// OLD CONSTRUCTORS
|
|
// Exponent_vector(Base::size_type i): Base(i){};
|
|
// Exponent_vector(Base::size_type i, Base::value_type x): Base(i,x){};
|
|
// Exponent_vector(int i, int x): Base(i,x){};
|
|
// NEW CONSTRUCTORS
|
|
|
|
Exponent_vector(int e0): Base(1) {
|
|
(*this)[0]=e0;
|
|
};
|
|
Exponent_vector(int e0, int e1): Base(2) {
|
|
(*this)[0]=e0; (*this)[1]=e1;
|
|
};
|
|
Exponent_vector(int e0, int e1, int e2): Base(3) {
|
|
(*this)[0]=e0; (*this)[1]=e1; (*this)[2]=e2;
|
|
};
|
|
Exponent_vector(int e0, int e1, int e2, int e3): Base(4) {
|
|
(*this)[0]=e0; (*this)[1]=e1; (*this)[2]=e2; (*this)[3]=e3;
|
|
};
|
|
|
|
Exponent_vector(const Base& v): Base ( v ){};
|
|
Exponent_vector(const Exponent_vector& v): Base ( v ){};
|
|
|
|
template <class InputIterator>
|
|
Exponent_vector(InputIterator begin , InputIterator end)
|
|
:Base(begin,end){
|
|
typedef typename InputIterator::value_type value_type;
|
|
BOOST_STATIC_ASSERT(( ::boost::is_same<value_type, int>::value));
|
|
}
|
|
|
|
bool operator<( const Exponent_vector& ev ) const {
|
|
CGAL_precondition(this->size()==ev.size());
|
|
Base::const_reverse_iterator rit1(this->rbegin());
|
|
Base::const_reverse_iterator rit2(ev.rbegin());
|
|
while(rit1!=this->rend()){
|
|
if(*rit1 < *rit2) return true;
|
|
if(*rit1 > *rit2) return false;
|
|
rit1++; rit2++;
|
|
}
|
|
CGAL_postcondition(rit1 == this->rend());
|
|
CGAL_postcondition(rit2 == ev.rend());
|
|
return false;
|
|
}
|
|
|
|
void output_benchmark( std::ostream& os ) const {
|
|
os << "( ";
|
|
for( unsigned i = 0; i < size(); ++i ) {
|
|
if( i != 0 )
|
|
os << ", ";
|
|
os << at(i);
|
|
}
|
|
os << " )";
|
|
}
|
|
};
|
|
|
|
|
|
inline bool is_valid(const Exponent_vector& ev) {
|
|
Exponent_vector::const_iterator it;
|
|
for(it = ev.begin(); it != ev.end();it++){
|
|
if (CGAL::is_negative(*it)) return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
inline std::ostream& operator << (std::ostream& os, const Exponent_vector& ev) {
|
|
Exponent_vector::const_iterator it;
|
|
os << "(" ;
|
|
for(it = ev.begin(); it != ev.end();it++){
|
|
if (it == ev.begin()) {
|
|
os << *it ;
|
|
}
|
|
else{
|
|
os <<"," << *it ;
|
|
}
|
|
}
|
|
os << ")" ;
|
|
return os;
|
|
}
|
|
|
|
|
|
CGAL_END_NAMESPACE
|
|
|
|
#endif // CGAL_EXPONENT_VECTOR_H
|