Changes between Version 9 and Version 10 of LibrariesUnderConstruction

Timestamp:

Jan 3, 2009, 9:07:00 PM (14 years ago)

Author:

viboes

Comment:

Adding ContraintsProgramming

LibrariesUnderConstruction

@@ -316 +316 @@
 
 ---------------------------------------------------------------------------------------------------
-== !Accummulators.Ext ==
+== Accummulators.Ext ==
  * '''Suggested by:''' Vicente J. Botet Escriba  
  * '''Description:''' Adding sliding, dependable and cyclic accumulators to Boost.Accumulators.
@@ -376 +376 @@
 }}}
 
+---------------------------------------------------------------------------------------------------
+== !ContraintsProgramming ==
+ * '''Suggested by:''' Vicente J. Botet Escriba  
+ * '''Description:''' Constraint programming is a programming paradigm where relations between variables are stated in the form of constraints. Constraints differ from the common primitives of imperative programming languages in that they do not specify a step or sequence of steps to execute, but rather the properties of a solution to be found. This makes Constraint Programming a form of declarative programming.
+ 
+{{{
+#!cpp
+typedef bounded<int, closed<1>, closed<2> > domain;
+problem_solver<domain, domain> p;
+p.add_constraint(_1 + _2 == 3);
+for {problem::iterator it = p.solutions(); it != p.end(); ++it) {
+    domain a, b;
+    tie(a,b) = *it;
+    std::cout << "[" << a << ", " << b << "]" << std::endl;
+}
+}}}
 
 ---------------------------------------------------------------------------------------------------
@@ -494 +510 @@
 ---------------------------------------------------------------------------------------------------
 == Miscellaneous ==
+ * [#!ContraintsProgramming ContraintsProgramming]
  * [#Boost.Dataflow Dataflow]
  * [#Boost.Fsm Fsm]