Module: Gecode::Constraints::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/channel.rb,
lib/gecoder/interface/constraints/int_enum/distinct.rb,
lib/gecoder/interface/constraints/int_enum/equality.rb,
lib/gecoder/interface/constraints/int_enum/extensional.rb

Overview

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

Defined Under Namespace

Modules: Arithmetic, Channel, Count, Distinct, Element, Equality, Extensional, Sort Classes: Expression