Class: Gecode::Constraints::IntEnum::Equality::EqualityConstraint
- Inherits:
-
Constraint
- Object
- Constraint
- Gecode::Constraints::IntEnum::Equality::EqualityConstraint
- Defined in:
- lib/gecoder/interface/constraints/int_enum/equality.rb
Overview
Describes an equality constraint, which constrains all variables in an integer enumeration to be equal. Neither negation nor reification is supported.
Example
# Constrains all variables in +int_enum+ to be equal.
int_enum.must_be.equal
Instance Method Summary collapse
Methods inherited from Constraint
Constructor Details
This class inherits a constructor from Gecode::Constraints::Constraint