Gecoder C0 Coverage Information - RCov

   # Describes a variable that is bound to a model, but not to a particular 

   # space.  

     # Creates an int variable with the specified index.

     end

       else

       end

     end

     # Returns the space that the int variable should bind to when needed.

     end

     # Sends the specified method name and arguments to the bound variable.

       end

     end

   end

   # Creates a class for a free variable that can be bound into the specified

   # class using the specified method in a space.

       # Binds the variable to the currently active space of the model, 

       # returning the bound variable.

       def bind

         active_space.method(:#{space_bind_method}).call(@index)

       end

       private

       # Delegates the method with the specified name to a method with the 

       # specified name when the variable is bound. If the bound method's name

       # is nil then the same name as the new method's name is assumed.

       def self.delegate(method_name, bound_method_name = nil)

         bound_method_name = method_name if bound_method_name.nil?

         module_eval <<-"end_code"

           def \#{method_name}(*args)

             @model.allow_space_access do

               bind.method(:\#{bound_method_name}).call(*args)

             end

           end

         end_code

       end

     end_method_definitions

   end

   # Describes an integer variable. 

   #

   # An integer variable can take the value of any integer in its 

   # domain, which is specified upon constructing the variable and

   # further constrained by placing constraints on the variable.

   # An integer variable is said to be assigned once the domain only

   # contains a single element, at which point #value can be used to

   # retrieve the value.

   #

   # Integer variables are integer operands and hence respond to

   # everything that Gecode::Int::IntOperand responds to.

   # Any constraint found in

   # Gecode::Int::IntConstraintReceiver can thereby be 

   # placed on integer variables.

     # Gets the minimum value still in the domain of the variable.

     # Gets the maximum value still in the domain of the variable.

     # Gets the number of elements still in the domain of the variable.

     # Gets the width of the variable's domain, i.e. the distance between the

     # maximum and minimum values.

     # Gets the degree of the variable. The degree is the number of constraints

     # that are affected by the variable. So if the variable is used in two

     # constraints then the value will be 2.

     # Checks whether the domain is a range, i.e. doesn't contain any holes.

     # Checks whether the variable has been assigned, i.e. its domain only 

     # contains one element.

     # Checks whether a specified integer is in the variable's domain.

     # Gets the value of the assigned integer variable (a Fixnum). The variable

     # must be assigned, if it isn't then a RuntimeError is raised.

     end

     # Returns the receiver.

     end

     # Returns an enumeration corresponding to the domain.

       else

         end

       end

     end

     # Returns a string representation of the range of the variable's domain.

       else

       end

     end

   end

   # Describes a boolean variable. 

   #

   # A boolean variable can be either true or false.

   #

   # Boolean variables are boolean operands and hence respond to

   # everything that Gecode::Bool::BoolOperand responds to.

   # Any constraint found in

   # Gecode::Bool::BoolConstraintReceiver can thereby be 

   # placed on boolean variables.

     # Checks whether the variable has been assigned.

     # Gets the values in the assigned boolean variable (true or false). The 

     # variable must be assigned, if it isn't then a RuntimeError is raised.

     end

     # Returns the receiver.

     end

     # Returns a string representation of the the variable's domain.

       else

       end

     end

   end

   # Describes a set variable. 

   # 

   # A set variable's domain, i.e. possible values that it can take, are

   # represented with a greatest lower bound (GLB) and a least upper

   # bound (LUB).  The set variable may then take any set value S such

   # that S is a subset of the least upper bound and the greatest lower

   # bound is a subset of S.

   #   

   # If for instance the set has a greatest lower bound {1} and least

   # upper bound {1,3,5} then the assigned set may be any of the

   # following four sets: {1}, {1,3}, {1,5}, {1,3,5}. 

   # 

   # The domain of a set variable may also specify the cardinality of the

   # set, i.e. the number of elements that the set may contains.

   #

   # Set variables are set operands and hence respond to everything that

   # Gecode::Set::SetOperand responds to.  Any constraint

   # found in Gecode::Set::SetConstraintReceiver can thereby

   # be placed on set variables.

     # Checks whether the variable has been assigned.

     # Checks whether a value is included in the set.

     # Checks whether a value is not included in the set.

     # Gets all the elements located in the greatest lower bound of the set (an 

     # Enumerable).

       end

     end

     # Gets all the elements located in the least upper bound of the set (an 

     # Enumerable).

       end

     end

     # Gets the values in the assigned set variable (an enumerable).

     end

     # Returns a range containing the allowed values for the set's cardinality.

     end

     # Returns the receiver.

     end

     # Returns a string representation of the the variable's domain.

         else

         end

       else

         else

         end

       end

     end

   end

   # Describes an immutable view of an enumerable.

     # Gets the number of elements in the view.

     # Gets the minimum element of the view.

     # Gets the maximum element of the view.

     # Constructs a view with the specified minimum, maximum and size. The block 

     # should construct an enumerable containing the elements of the set.

     end

     # Iterates over every element in the view.

     end

     # Gets the enumeration being viewed.

       else

       end

     end

   end

 end