Class: Gecode::Constraints::Int::CompositeStub

Inherits:

Object
ExpressionStub
CompositeStub
Gecode::Constraints::Int::CompositeStub

Defined in:: lib/gecoder/interface/constraints/int_var_constraints.rb

Overview

Describes a stub that produces an int variable, which can then be used with the normal int variable constraints. An example would be the element constraint.

int_enum[int_var].must > rhs

int_enum[int_var] produces an int variable which the constraint .must > rhs is then applied to. In the above case two constraints (and one temporary variable) are required, but in the case of equality only one constraint is required.

Whether a constraint involving a reification stub supports negation, reification, strength options and so on depends on the constraint on the right hand side.

Direct Known Subclasses

Arithmetic::AbsExpressionStub, Arithmetic::MultExpressionStub, Arithmetic::SquareRootExpressionStub, Arithmetic::SquaredExpressionStub, Gecode::Constraints::IntEnum::Arithmetic::MaxExpressionStub, Gecode::Constraints::IntEnum::Arithmetic::MinExpressionStub, Gecode::Constraints::IntEnum::Element::ExpressionStub

Instance Method Summary collapse

#initialize(model, params) ⇒ CompositeStub constructor

A new instance of CompositeStub.

Methods included from LeftHandSideMethods

#must, #must_not

Constructor Details

#initialize(model, params) ⇒ `CompositeStub`

Returns a new instance of CompositeStub.



49
50
51

# File 'lib/gecoder/interface/constraints/int_var_constraints.rb', line 49

def initialize(model, params)
  super(CompositeExpression, model, params)
end