Subject: [Boost-commit] svn:boost r55993 - sandbox/itl/libs/validate/example/labat_polygon_
From: afojgo_at_[hidden]
Date: 2009-09-03 04:21:21
Author: jofaber
Date: 2009-09-03 04:21:20 EDT (Thu, 03 Sep 2009)
New Revision: 55993
URL: http://svn.boost.org/trac/boost/changeset/55993
Log:
Corrections of comments for law based polygon tests.
Text files modified:
sandbox/itl/libs/validate/example/labat_polygon_/polygon_laws.hpp | 5 ++---
1 files changed, 2 insertions(+), 3 deletions(-)
Modified: sandbox/itl/libs/validate/example/labat_polygon_/polygon_laws.hpp
==============================================================================
--- sandbox/itl/libs/validate/example/labat_polygon_/polygon_laws.hpp (original)
+++ sandbox/itl/libs/validate/example/labat_polygon_/polygon_laws.hpp 2009-09-03 04:21:20 EDT (Thu, 03 Sep 2009)
@@ -28,7 +28,7 @@
// a o b == b o a computed as
//lsum=a; lsum+=b; rsum=b; rsum+=a => lsum==rsum
//Input = (a := inVal1, b := inVal2)
- //Output = (sum_lhs, sum_rhs)
+ //Output = (lhs_result, lhs_result)
public:
std::string name()const { return "Polygon Commutativity"; }
@@ -88,8 +88,7 @@
// in a law Can be more, if you want to see interim results.
LOKI_TYPELIST_2(Type,Type), LOKI_TYPELIST_2(Type,Type)>
{
- // a o b == b o a computed as
- //lsum=a; lsum+=b; rsum=b; rsum+=a => lsum==rsum
+ // (a+b) - (a&b) == (a-b) + (b-a)
//Input = (a := inVal1, b := inVal2)
//Output = (sum_lhs, sum_rhs)