Module: ppl/ppl Branch: termination Commit: 71dcb7f32c6508034075af6673086932649ebe0c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c650...
Author: Roberto Bagnara bagnara@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())