Module: Gecode::Constraints::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

Overview

A module containing constraints that have int variables as left hand side (but not enumerations).

Defined Under Namespace

Modules: Arithmetic, Domain, Linear Classes: CompositeExpression, CompositeStub, Expression