Class: Gecode::Constraints::Bool::ExpressionNode

Inherits:

Object

• Object
• Gecode::Constraints::Bool::ExpressionNode

Includes:

OperationMethods

Defined in:

lib/gecoder/interface/constraints/bool/boolean.rb

Overview

Describes a single node in a boolean expression.

Instance Attribute Summary

• #model ⇒ Object readonly

  Returns the value of attribute model.

Instance Method Summary

• #initialize(value, model = nil) ⇒ ExpressionNode constructor

  A new instance of ExpressionNode.

• #to_minimodel_lin_exp ⇒ Object

  Converts the linear expression to an instance of Gecode::Raw::MiniModel::BoolExpr.

Methods included from LeftHandSideMethods

#must, #must_not

Constructor Details

#initialize(value, model = nil) ⇒ ExpressionNode

Returns a new instance of ExpressionNode.

# File 'lib/gecoder/interface/constraints/bool/boolean.rb', line 145

def initialize(value, model = nil)
  @value = value
  @model = model
end

Instance Attribute Details

#model ⇒ Object (readonly)

Returns the value of attribute model.

# File 'lib/gecoder/interface/constraints/bool/boolean.rb', line 143

def model
  @model
end

Instance Method Details

#to_minimodel_lin_exp ⇒ Object

Converts the linear expression to an instance of Gecode::Raw::MiniModel::BoolExpr

# File 'lib/gecoder/interface/constraints/bool/boolean.rb', line 152

def to_minimodel_lin_exp
  Gecode::Raw::MiniModel::BoolExpr.new(@value.bind)
end