Module: Gecode::IntEnum

Defined in:

lib/gecoder/interface/constraints/int_enum_constraints.rb,
lib/gecoder/interface/constraints/int_enum/sort.rb,
lib/gecoder/interface/constraints/int_enum/count.rb,
lib/gecoder/interface/constraints/int_enum/channel.rb,
lib/gecoder/interface/constraints/int_enum/element.rb,
lib/gecoder/interface/constraints/int_enum/distinct.rb,
lib/gecoder/interface/constraints/int_enum/equality.rb,
lib/gecoder/interface/constraints/int_enum/arithmetic.rb,
lib/gecoder/interface/constraints/int_enum/extensional.rb

Overview

A module containing constraints that have enumerations of integer operands as left hand side.

Defined Under Namespace

Modules: Arithmetic, Channel, Count, Distinct, Element, Equality, Extensional, IntEnumOperand, Sort Classes: Dummy, IntEnumConstraintReceiver