Gecoder C0 Coverage Information - RCov

 # Problems can be formulated and solved either through defining a new

 # class that mixes in Gecode::Mixin or by using Gecode.solve et al.

 # Gecode::Mixin describes how to formulate problems.

 #

 # ==== Examples 

 #

 # The following two examples show how to solve the following equation 

 # system, using both ways to define and solve a problem.

 #

 # Equation system:

 #   x + y = z

 #   x = y - 3

 #   0 <= x,y,z <= 9

 #

 # === Mixing in Gecode::Mixin

 #

 #   class EquationProblem 

 #     include Gecode::Mixin

 #

 #     def initialize

 #       variables_is_an int_var_array(3, 0..9)

 #       x, y, z = variables

 #

 #       (x + y).must == z

 #       x.must == y - 3

 #

 #       branch_on variables

 #     end

 #   end

 #   puts EquationProblem.new.solve!.variables.join(' ')

 #

 # === Using Gecode.solve

 #

 #   solution = Gecode.solve do

 #     variables_is_an int_var_array(3, 0..9)

 #     x, y, z = variables

 #

 #     (x + y).must == z

 #     x.must == y - 3

 #

 #     branch_on variables

 #   end

 #   puts solution.variables.values.join(' ')

 # 

   # Loads the binding libraries. This is done as a method in order to be easier

   # to test. 

     # Workaround to get the precompiled DLLs into the DLL search path on 

     # Windows.

       # Switch directory while loading libraries so that the DLLs are in the 

       # work directory.

       end

     else

     end

   end  

   # Load the bindings library.

   # The Gecode::Raw module is what the interface should use to access methods

   # in Gecode. The actual bindings are located in ::GecodeRaw.

   # Describes a layer that delegates to GecodeRaw only after having logged the 

   # call.

     end

     end

     # Gets the logger, or creates one if none exists.

     end

   end

   # We just make Gecode::Raw an alias of the real module.

   # Log all calls via Gecode::Raw.

   #Raw = LoggingLayer

 end