[Boost-commit] svn:boost r52850 - in sandbox/itl/libs: itl/doc/boostcon09 validate/example/labat_single

Subject: [Boost-commit] svn:boost r52850 - in sandbox/itl/libs: itl/doc/boostcon09 validate/example/labat_single
From: afojgo_at_[hidden]
Date: 2009-05-08 09:00:34

Author: jofaber
Date: 2009-05-08 09:00:33 EDT (Fri, 08 May 2009)
New Revision: 52850
URL: http://svn.boost.org/trac/boost/changeset/52850

Log:
Corrected and shortened the presentation
Binary files modified: 
   sandbox/itl/libs/itl/doc/boostcon09/intro_to_itl.odp
Text files modified: 
   sandbox/itl/libs/validate/example/labat_single/labat_single.cpp |     7 ++++---                                 
   1 files changed, 4 insertions(+), 3 deletions(-)

Modified: sandbox/itl/libs/itl/doc/boostcon09/intro_to_itl.odp
==============================================================================
Binary files. No diff available.

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	2009-05-08 09:00:33 EDT (Fri, 08 May 2009)
@@ -18,7 +18,8 @@
 #include <boost/validate/laws/induced_relation.hpp>
 #include <boost/validate/laws/symmetric_difference.hpp>
 #include <boost/validate/laws/pushouts.hpp>
-#include <boost/validate/laws/novial_tree.hpp>
+#include <boost/validate/laws/set_laws.hpp>
+//#include <boost/validate/laws/novial_tree.hpp>
 #include <boost/validate/laws/inversion_laws.hpp>
 #include <boost/validate/validater/law_validater.hpp>
 #include <boost/validate/gentor/gentorprofile.hpp>
@@ -63,8 +64,8 @@
         //typedef Balance<itl::tree<int> >  TestLawT;
         //LawValidater<TestLawT, RandomGentor> test_law;
 
-	typedef InplaceNaturalInversion
-	    <itl::interval_map<int, int, partial_absorber > >  TestLawT;
+	typedef InplaceDeMorgan
+	    <itl::interval_map<int, int> >  TestLawT;
         LawValidater<TestLawT, RandomGentor> test_law;
 
     //-----------------------------------------------------------------------------