Class: Gecode::Constraints::Bool::CompositeStub

Inherits:

Object
ExpressionStub
CompositeStub
Gecode::Constraints::Bool::CompositeStub

Defined in:: lib/gecoder/interface/constraints/bool_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 conjunction constraint.

bools.conjunction.must == b1 | b2

bools.conjunction produces a boolean variable which the constraint .must == b1 | b2 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

Gecode::Constraints::BoolEnum::Relation::ConjunctionStub, Gecode::Constraints::BoolEnum::Relation::DisjunctionStub

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.



67
68
69

# File 'lib/gecoder/interface/constraints/bool_var_constraints.rb', line 67

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