[PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.
Enea Zaffanella
zaffanella at cs.unipr.it
Sat Aug 15 08:35:45 CEST 2009
Module: ppl/ppl
Branch: master
Commit: ba692c7b20024a266852f51e98fe709a4e02eb3b
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba692c7b20024a266852f51e98fe709a4e02eb3b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Aug 15 08:18:50 2009 +0200
Indentation fixed.
---
src/Pointset_Powerset.templates.hh | 57 ++++++++++++++++++-----------------
1 files changed, 29 insertions(+), 28 deletions(-)
diff --git a/src/Pointset_Powerset.templates.hh b/src/Pointset_Powerset.templates.hh
index ff79c36..daeba2d 100644
--- a/src/Pointset_Powerset.templates.hh
+++ b/src/Pointset_Powerset.templates.hh
@@ -286,8 +286,8 @@ Pointset_Powerset<PSET>::remove_space_dimensions(const Variables_Set& vars) {
template <typename PSET>
void
-Pointset_Powerset<PSET>::remove_higher_space_dimensions(dimension_type
- new_dimension) {
+Pointset_Powerset<PSET>
+::remove_higher_space_dimensions(dimension_type new_dimension) {
Pointset_Powerset& x = *this;
if (new_dimension < x.space_dim) {
for (Sequence_iterator si = x.sequence.begin(),
@@ -328,7 +328,7 @@ Pointset_Powerset<PSET>::map_space_dimensions(const Partial_Function& pfunc) {
template <typename PSET>
void
Pointset_Powerset<PSET>::expand_space_dimension(Variable var,
- dimension_type m) {
+ dimension_type m) {
Pointset_Powerset& x = *this;
for (Sequence_iterator si = x.sequence.begin(),
s_end = x.sequence.end(); si != s_end; ++si)
@@ -340,7 +340,7 @@ Pointset_Powerset<PSET>::expand_space_dimension(Variable var,
template <typename PSET>
void
Pointset_Powerset<PSET>::fold_space_dimensions(const Variables_Set& vars,
- Variable dest) {
+ Variable dest) {
Pointset_Powerset& x = *this;
Variables_Set::size_type num_folded = vars.size();
if (num_folded > 0) {
@@ -355,9 +355,9 @@ Pointset_Powerset<PSET>::fold_space_dimensions(const Variables_Set& vars,
template <typename PSET>
void
Pointset_Powerset<PSET>::affine_image(Variable var,
- const Linear_Expression& expr,
- Coefficient_traits::const_reference
- denominator) {
+ const Linear_Expression& expr,
+ Coefficient_traits::const_reference
+ denominator) {
Pointset_Powerset& x = *this;
for (Sequence_iterator si = x.sequence.begin(),
s_end = x.sequence.end(); si != s_end; ++si) {
@@ -373,9 +373,9 @@ Pointset_Powerset<PSET>::affine_image(Variable var,
template <typename PSET>
void
Pointset_Powerset<PSET>::affine_preimage(Variable var,
- const Linear_Expression& expr,
- Coefficient_traits::const_reference
- denominator) {
+ const Linear_Expression& expr,
+ Coefficient_traits::const_reference
+ denominator) {
Pointset_Powerset& x = *this;
for (Sequence_iterator si = x.sequence.begin(),
s_end = x.sequence.end(); si != s_end; ++si) {
@@ -441,7 +441,9 @@ Pointset_Powerset<PSET>
::generalized_affine_preimage(Variable var,
const Relation_Symbol relsym,
const Linear_Expression& expr,
- Coefficient_traits::const_reference denominator) { Pointset_Powerset& x = *this;
+ Coefficient_traits::const_reference
+ denominator) {
+ Pointset_Powerset& x = *this;
for (Sequence_iterator si = x.sequence.begin(),
s_end = x.sequence.end(); si != s_end; ++si) {
si->pointset().generalized_affine_preimage(var, relsym, expr, denominator);
@@ -882,9 +884,9 @@ Pointset_Powerset<PSET>
template <typename PSET>
bool
Pointset_Powerset<PSET>::maximize(const Linear_Expression& expr,
- Coefficient& sup_n,
- Coefficient& sup_d,
- bool& maximum) const {
+ Coefficient& sup_n,
+ Coefficient& sup_d,
+ bool& maximum) const {
const Pointset_Powerset& x = *this;
x.omega_reduce();
if (x.is_empty())
@@ -937,10 +939,10 @@ Pointset_Powerset<PSET>::maximize(const Linear_Expression& expr,
template <typename PSET>
bool
Pointset_Powerset<PSET>::maximize(const Linear_Expression& expr,
- Coefficient& sup_n,
- Coefficient& sup_d,
- bool& maximum,
- Generator& g) const {
+ Coefficient& sup_n,
+ Coefficient& sup_d,
+ bool& maximum,
+ Generator& g) const {
const Pointset_Powerset& x = *this;
x.omega_reduce();
if (x.is_empty())
@@ -1000,9 +1002,9 @@ Pointset_Powerset<PSET>::maximize(const Linear_Expression& expr,
template <typename PSET>
bool
Pointset_Powerset<PSET>::minimize(const Linear_Expression& expr,
- Coefficient& inf_n,
- Coefficient& inf_d,
- bool& minimum) const {
+ Coefficient& inf_n,
+ Coefficient& inf_d,
+ bool& minimum) const {
const Pointset_Powerset& x = *this;
x.omega_reduce();
if (x.is_empty())
@@ -1055,10 +1057,10 @@ Pointset_Powerset<PSET>::minimize(const Linear_Expression& expr,
template <typename PSET>
bool
Pointset_Powerset<PSET>::minimize(const Linear_Expression& expr,
- Coefficient& inf_n,
- Coefficient& inf_d,
- bool& minimum,
- Generator& g) const {
+ Coefficient& inf_n,
+ Coefficient& inf_d,
+ bool& minimum,
+ Generator& g) const {
const Pointset_Powerset& x = *this;
x.omega_reduce();
if (x.is_empty())
@@ -1270,8 +1272,7 @@ template <typename Cert>
bool
Pointset_Powerset<PSET>::
is_cert_multiset_stabilizing(const std::map<Cert, size_type,
- typename Cert::Compare>& y_cert_ms
- ) const {
+ typename Cert::Compare>& y_cert_ms) const {
typedef std::map<Cert, size_type, typename Cert::Compare> Cert_Multiset;
Cert_Multiset x_cert_ms;
collect_certificates(x_cert_ms);
@@ -1317,7 +1318,7 @@ template <typename PSET>
template <typename Cert, typename Widening>
void
Pointset_Powerset<PSET>::BHZ03_widening_assign(const Pointset_Powerset& y,
- Widening wf) {
+ Widening wf) {
// `x' is the current iteration value.
Pointset_Powerset& x = *this;
More information about the PPL-devel
mailing list