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;