Gecoder C0 Coverage Information - RCov

 # A module that deals with the operands, properties and constraints of

 # boolean operands.

   # A BoolOperand is a combination of variables on which the

   # constraints defined in BoolConstraintReceiver can be placed.

   #

   # Boolean operands can be created either by using

   # Gecode::Mixin#bool_var et al, or by using properties that produce

   # boolean operands. The operands, no matter how they were created, 

   # all respond to the properties defined by BoolOperand.

   #

   # ==== Examples 

   #

   # Produces a single boolean operand (more specifically a BoolVar)

   # inside a problem formulation, using Gecode::Mixin#bool_var:

   #

   #   bool_operand = bool_var

   #

   # Uses the BoolOperand#& property to produce a new boolean

   # operand representing +bool_operand1+ AND +bool_operand2+:

   #

   #   new_bool_operand = bool_operand1 & bool_operand2

   #

   # Uses the BoolEnumOperand#conjunction property to produce a new

   # boolean operand representing the conjunction of all boolean operands

   # in the enumeration +bool_enum+:

   #

   #   new_bool_operand = bool_enum.conjunction

   #

   #--

   # Classes that mix in BoolOperand must define #model and #to_bool_var .

         # Delegate to the bool var.

       else

       end

     end

     end

   end

   # BoolConstraintReceiver contains all constraints that can be

   # placed on a BoolOperand.

   #

   # Constraints are placed by calling BoolOperand#must (or any other

   # of the variations defined in Operand), which produces a 

   # BoolConstraintReceiver from which the desired constraint can be used.

   #

   # Each constraint accepts a number of options. See ConstraintReceiver

   # for more information.

   #

   # ==== Examples 

   #

   # Constrains +bool_operand+ to be true using

   # BoolConstraintReceiver#true:

   #

   #   bool_operand.must_be.true

   #

   # Constrains +bool_operand1+ AND +bool_operand2+ to be true using 

   # the BoolOperand#& property and BoolConstraintReceiver#true:

   #

   #   (bool_operand1 & bool_operand2).must_be.true

   #

   # Constrains the conjunction of all boolean operands in +bool_enum+ to

   # _not_ imply +bool_operand+ using the 

   # BoolEnumOperand#conjunction property and BoolConstraintReceiver#imply:

   #

   #   bool_enum.conjunction.must_not.imply bool_operand

   #

   # The same as above, but specifying that strength :domain should be 

   # used and that the constraint should be reified with +bool_operand2+:

   #

   #   bool_enum.conjunction.must_not.imply(bool_operand, :strength => :domain, :reify => bool_operand2)

   #

     # Raises TypeError unless the left hand side is an bool operand.

       end

     end

   end

   # An operand that short circuits boolean equality.

     end

               operand.respond_to? :to_bool_var

             # Short circuit the constraint.

                 @model, @params) do

                 @params.values_at(:strength, :kind))

             end)

           else

           end

         end

       end

     end

       end

     end

     # Constrains this operand to equal +bool_operand+ using the

     # specified +propagation_options+. If +constrain_domain+ is true

     # then the method should also attempt to constrain the bounds of the

     # domain of +bool_operand+.

     end

   end

 end