[PPL-devel] [GIT] ppl/ppl(termination): Indentation fixed.
Roberto Bagnara
bagnara at cs.unipr.it
Tue Mar 9 04:05:31 CET 2010
Module: ppl/ppl
Branch: termination
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())
More information about the PPL-devel
mailing list