class Gecode::Bool::ExpressionNode

Describes a single node in a boolean expression.

Attributes

model[R]

Public Instance Methods

to_minimodel_bool_expr() click to toggle source

Returns a MiniModel boolean expression representing the tree.

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/bool/boolean.rb, line 247
def to_minimodel_bool_expr
  Gecode::Raw::MiniModel::BoolExpr.new(@value.to_bool_var.bind)
end

Public Class Methods

new(value, model = nil) click to toggle source

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/bool/boolean.rb, line 237
def initialize(value, model = nil)
  unless value.respond_to? :to_bool_var        
    raise TypeError, 'Invalid type used in boolean equation: ' +
      "#{value.class}."
  end
  @value = value
  @model = model
end