[Boost-commit] svn:boost r55993 - sandbox/itl/libs/validate/example/labat_polygon_

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)