[Boost-commit] svn:boost r60251 - in sandbox/itl: boost/validate/laws libs/validate/example/labat_single_

Subject: [Boost-commit] svn:boost r60251 - in sandbox/itl: boost/validate/laws libs/validate/example/labat_single_
From: afojgo_at_[hidden]
Date: 2010-03-06 12:04:38

Author: jofaber
Date: 2010-03-06 12:04:35 EST (Sat, 06 Mar 2010)
New Revision: 60251
URL: http://svn.boost.org/trac/boost/changeset/60251

Log:
Tab replacement
Text files modified: 
   sandbox/itl/boost/validate/laws/inversion_laws.hpp               |    74 ++++++++++++++++++++--------------------
   sandbox/itl/libs/validate/example/labat_single_/labat_single.cpp |     2                                         
   2 files changed, 38 insertions(+), 38 deletions(-)

Modified: sandbox/itl/boost/validate/laws/inversion_laws.hpp
==============================================================================
--- sandbox/itl/boost/validate/laws/inversion_laws.hpp	(original)
+++ sandbox/itl/boost/validate/laws/inversion_laws.hpp	2010-03-06 12:04:35 EST (Sat, 06 Mar 2010)
@@ -203,32 +203,32 @@
 
         bool holds()
         {
-			// dom(a).is_disjoint(dom(b)) => (a + b) - b == a - b
+            // dom(a).is_disjoint(dom(b)) => (a + b) - b == a - b
             Type value_a = this->template getInputValue<operand_a>();
             Type value_b = this->template getInputValue<operand_b>();
-			typename Type::set_type dom_a; value_a.domain(dom_a);
-			typename Type::set_type dom_b; value_b.domain(dom_b);
+            typename Type::set_type dom_a; value_a.domain(dom_a);
+            typename Type::set_type dom_b; value_b.domain(dom_b);
 
-			if(is_disjoint(dom_a, dom_b))
-			{
+            if(is_disjoint(dom_a, dom_b))
+            {
                 Type lhs = value_a;
-				Combiner<Type>()(lhs, this->template getInputValue<operand_b>());
-				Inverter<Type>()(lhs, this->template getInputValue<operand_b>());
+                Combiner<Type>()(lhs, this->template getInputValue<operand_b>());
+                Inverter<Type>()(lhs, this->template getInputValue<operand_b>());
 
-				Type rhs = this->template getInputValue<operand_a>();
-				Inverter<Type>()(rhs, this->template getInputValue<operand_b>());
+                Type rhs = this->template getInputValue<operand_a>();
+                Inverter<Type>()(rhs, this->template getInputValue<operand_b>());
 
-				this->template setOutputValue<lhs_result>(lhs);
-				this->template setOutputValue<rhs_result>(rhs);
+                this->template setOutputValue<lhs_result>(lhs);
+                this->template setOutputValue<rhs_result>(rhs);
 
-				return Equality<Type>()(lhs, rhs);
-			}
-			else // a intersects b
-			{
-				this->template setOutputValue<lhs_result>(value_a);
-				this->template setOutputValue<rhs_result>(value_b);
-				return true;
-			}
+                return Equality<Type>()(lhs, rhs);
+            }
+            else // a intersects b
+            {
+                this->template setOutputValue<lhs_result>(value_a);
+                this->template setOutputValue<rhs_result>(value_b);
+                return true;
+            }
         }
 
         bool debug_holds()
@@ -270,32 +270,32 @@
 
         bool holds()
         {
-			// a.contains(dom(b)) => (a + b) - b == (a - b) + a
+            // a.contains(dom(b)) => (a + b) - b == (a - b) + a
             Type value_a = this->template getInputValue<operand_a>();
             Type value_b = this->template getInputValue<operand_b>();
-			typename Type::set_type dom_b; value_b.domain(dom_b);
+            typename Type::set_type dom_b; value_b.domain(dom_b);
 
-			if(value_a.contains(dom_b))
-			{
+            if(value_a.contains(dom_b))
+            {
                 Type lhs = value_a;
-				Combiner<Type>()(lhs, value_b);
-				Inverter<Type>()(lhs, value_b);
+                Combiner<Type>()(lhs, value_b);
+                Inverter<Type>()(lhs, value_b);
 
                 Type rhs = value_a;
-				Inverter<Type>()(rhs, value_b);
-				Combiner<Type>()(rhs, value_b);
+                Inverter<Type>()(rhs, value_b);
+                Combiner<Type>()(rhs, value_b);
 
-				this->template setOutputValue<lhs_result>(lhs);
-				this->template setOutputValue<rhs_result>(rhs);
+                this->template setOutputValue<lhs_result>(lhs);
+                this->template setOutputValue<rhs_result>(rhs);
 
-				return Equality<Type>()(lhs, rhs);
-			}
-			else // a intersects b
-			{
-				this->template setOutputValue<lhs_result>(value_a);
-				this->template setOutputValue<rhs_result>(value_b);
-				return true;
-			}
+                return Equality<Type>()(lhs, rhs);
+            }
+            else // a intersects b
+            {
+                this->template setOutputValue<lhs_result>(value_a);
+                this->template setOutputValue<rhs_result>(value_b);
+                return true;
+            }
         }
 
         bool debug_holds()

Modified: sandbox/itl/libs/validate/example/labat_single_/labat_single.cpp
==============================================================================
--- sandbox/itl/libs/validate/example/labat_single_/labat_single.cpp	(original)
+++ sandbox/itl/libs/validate/example/labat_single_/labat_single.cpp	2010-03-06 12:04:35 EST (Sat, 06 Mar 2010)
@@ -67,7 +67,7 @@
     //typedef Antisymmetry<itl::map<int,int>, std::less_equal, std_equal> TestLawT;
 
     typedef JointInverseExistence
-		<interval_map<int,int,partial_enricher>, itl::inplace_plus, itl::inplace_minus> TestLawT;
+        <interval_map<int,int,partial_enricher>, itl::inplace_plus, itl::inplace_minus> TestLawT;
 
     LawValidater<TestLawT, RandomGentor> test_law;