Module: Gecode::FixnumEnum

Defined in:

lib/gecoder/interface/constraints/fixnum_enum_constraints.rb,
lib/gecoder/interface/constraints/fixnum_enum/element.rb,
lib/gecoder/interface/constraints/fixnum_enum/operation.rb

Overview

A module containing constraints that have enumerations of instances of Fixnum as left hand side.

Defined Under Namespace

Modules: Element, FixnumEnumOperand Classes: Dummy

Constant Summary

Operation =

Gecode::Set::Operation