Class: Gecode::Constraints::SetEnum::Selection::SetAccessExpression

Inherits:
Gecode::Constraints::Set::Expression show all
Defined in:
lib/gecoder/interface/constraints/set_enum/selection.rb

Overview

Describes an expression that starts with an set variable enum followed with an array access using a set variable followed by some form of must.

Instance Method Summary collapse

Methods inherited from Expression

#initialize

Constructor Details

This class inherits a constructor from Gecode::Constraints::Expression

Instance Method Details

#disjoint ⇒ Object

Constrains the selected sets to be disjoint.



78
79
80
81
82
83
84
85
 
# File 'lib/gecoder/interface/constraints/set_enum/selection.rb', line 78

def disjoint
  if @params[:negate]
    raise Gecode::MissingConstraintError, 'A negated set selection ' + 
      'disjoint is not implemented.'
  end
  
  @model.add_constraint DisjointConstraint.new(@model, @params)
end