lib/gecoder/bindings/bindings.rb in gecoder-0.5.0 vs lib/gecoder/bindings/bindings.rb in gecoder-0.6.0

@@ -291,10 +291,14 @@
       
       klass.add_constructor
       
       klass.add_method "debug"
       
+      klass.add_method "constrain" do |method|
+        method.add_parameter "Gecode::MSpace*", "s"
+      end
+      
       klass.add_method "own" do |method|
         method.add_parameter "Gecode::MIntVarArray *", "x"
         method.add_parameter "char*", "name"
       end
       
@@ -388,10 +392,15 @@
         method.add_parameter "Gecode::MSpace*", "home"
         method.add_parameter "int", "min"
         method.add_parameter "int", "max"
       end
       
+      klass.add_constructor do |method|
+        method.add_parameter "Gecode::MSpace*", "home"
+        method.add_parameter "Gecode::IntSet", "s"
+      end
+      
       klass.add_method "max", "int"
       
       klass.add_method "min", "int"
       klass.add_method "med", "int"
       klass.add_method "val", "int"
@@ -534,9 +543,22 @@
       end
     end
     
     ns.add_cxx_class "MDFS" do |klass|
       klass.bindname = "DFS"
+      klass.add_constructor do |method|
+        method.add_parameter "Gecode::MSpace *", "s"
+        method.add_parameter "int", "c_d"
+        method.add_parameter "int", "a_d"
+        method.add_parameter "Gecode::Search::MStop *", "st"
+      end
+      
+      klass.add_method "next", "Gecode::MSpace *"
+      klass.add_method "statistics", "Gecode::Search::Statistics"
+    end
+    
+    ns.add_cxx_class "MBAB" do |klass|
+      klass.bindname = "BAB"
       klass.add_constructor do |method|
         method.add_parameter "Gecode::MSpace *", "s"
         method.add_parameter "int", "c_d"
         method.add_parameter "int", "a_d"
         method.add_parameter "Gecode::Search::MStop *", "st"