[PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 71dcb7f32c6508034075af6673086932649ebe0c
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c6508034075af6673086932649ebe0c

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar  9 07:00:37 2010 +0400

Indentation fixed.

---

 src/Pointset_Powerset.inlines.hh |   16 ++++++++--------
 1 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/Pointset_Powerset.inlines.hh b/src/Pointset_Powerset.inlines.hh
index a5e8fc3..b1bf7ec 100644
--- a/src/Pointset_Powerset.inlines.hh
+++ b/src/Pointset_Powerset.inlines.hh
@@ -51,7 +51,7 @@ Pointset_Powerset<PSET>::max_space_dimension() {
 template <typename PSET>
 inline
 Pointset_Powerset<PSET>::Pointset_Powerset(dimension_type num_dimensions,
-					 Degenerate_Element kind)
+					   Degenerate_Element kind)
   : Base(), space_dim(num_dimensions) {
   Pointset_Powerset& x = *this;
   if (kind == UNIVERSE)
@@ -62,14 +62,14 @@ Pointset_Powerset<PSET>::Pointset_Powerset(dimension_type num_dimensions,
 template <typename PSET>
 inline
 Pointset_Powerset<PSET>::Pointset_Powerset(const Pointset_Powerset& y,
-                                         Complexity_Class)
+					   Complexity_Class)
   : Base(y), space_dim(y.space_dim) {
 }
 
 template <typename PSET>
 inline
 Pointset_Powerset<PSET>::Pointset_Powerset(const C_Polyhedron& ph,
-                                         Complexity_Class complexity)
+					   Complexity_Class complexity)
   : Base(), space_dim(ph.space_dimension()) {
   Pointset_Powerset& x = *this;
   if (complexity == ANY_COMPLEXITY) {
@@ -86,7 +86,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const C_Polyhedron& ph,
 template <typename PSET>
 inline
 Pointset_Powerset<PSET>::Pointset_Powerset(const NNC_Polyhedron& ph,
-                                         Complexity_Class complexity)
+					   Complexity_Class complexity)
   : Base(), space_dim(ph.space_dimension()) {
   Pointset_Powerset& x = *this;
   if (complexity == ANY_COMPLEXITY) {
@@ -102,7 +102,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const NNC_Polyhedron& ph,
 template <typename PSET>
 inline
 Pointset_Powerset<PSET>::Pointset_Powerset(const Grid& gr,
-                                         Complexity_Class)
+					   Complexity_Class)
   : Base(), space_dim(gr.space_dimension()) {
   Pointset_Powerset& x = *this;
   if (!gr.is_empty()) {
@@ -133,7 +133,7 @@ Pointset_Powerset<PSET>
 template <typename PSET>
 template <typename Interval>
 Pointset_Powerset<PSET>::Pointset_Powerset(const Box<Interval>& box,
-                                         Complexity_Class)
+					   Complexity_Class)
   : Base(), space_dim(box.space_dimension()) {
   Pointset_Powerset& x = *this;
   if (!box.is_empty())
@@ -144,7 +144,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const Box<Interval>& box,
 template <typename PSET>
 template <typename T>
 Pointset_Powerset<PSET>::Pointset_Powerset(const Octagonal_Shape<T>& os,
-                                         Complexity_Class)
+					   Complexity_Class)
   : Base(), space_dim(os.space_dimension()) {
   Pointset_Powerset& x = *this;
   if (!os.is_empty())
@@ -155,7 +155,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const Octagonal_Shape<T>& os,
 template <typename PSET>
 template <typename T>
 Pointset_Powerset<PSET>::Pointset_Powerset(const BD_Shape<T>& bds,
-                                         Complexity_Class)
+					   Complexity_Class)
   : Base(), space_dim(bds.space_dimension()) {
   Pointset_Powerset& x = *this;
   if (!bds.is_empty())