Class: Gecode::Set::Cardinality::CardinalityConstraint
- Inherits:
-
Constraint
- Object
- Constraint
- Gecode::Set::Cardinality::CardinalityConstraint
- Defined in:
- lib/gecoder/interface/constraints/set/cardinality.rb
Overview
Describes a cardinality constraint specifically for ranges. This is just a special case which is used instead of the more general composite constraint when the target cardinality is a range.
Instance Method Summary collapse
-
#post ⇒ Object
:nodoc:.
Methods inherited from Constraint
Constructor Details
This class inherits a constructor from Gecode::Constraint