Module: Gecode::Int

Defined in:

lib/gecoder/interface/constraints/int_var_constraints.rb,
lib/gecoder/interface/constraints/int/domain.rb,
lib/gecoder/interface/constraints/int/linear.rb,
lib/gecoder/interface/constraints/int/channel.rb,
lib/gecoder/interface/constraints/int/relation.rb,
lib/gecoder/interface/constraints/int/arithmetic.rb

Overview

A module that deals with the operands, properties and constraints of integer variables.

Defined Under Namespace

Modules: Arithmetic, Channel, Domain, IntOperand, Linear, Relation Classes: IntConstraintReceiver, ShortCircuitEqualityOperand, ShortCircuitRelationsOperand