class Gecode::FreeVarBase

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

Attributes

model[RW]

Public Instance Methods

inspect() click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/variables.rb, line 14
def inspect
  if assigned?
    "#<#{self.class} #{domain_string}>"
  else
    "#<#{self.class} #{domain_string}>"
  end
end

Public Class Methods

new(model, index) click to toggle source

Creates an int variable with the specified index.

# File doc/tmp/rdoc_dev/gecoder/interface/variables.rb, line 8
def initialize(model, index)
  @model = model
  @index = index
  model.track_variable(self)
end