Method: Gecode::Bool::ExpressionNode#to_minimodel_bool_expr

Defined in:: lib/gecoder/interface/constraints/bool/boolean.rb

#to_minimodel_bool_expr ⇒ `Object`

Returns a MiniModel boolean expression representing the tree.



247
248
249

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

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