Class: Gecode::ReifiableConstraint

Inherits:

Constraint

• Object
• Constraint
• Gecode::ReifiableConstraint

Defined in:

lib/gecoder/interface/constraints/reifiable_constraints.rb

Overview

Base class for all reifiable constraints.

Direct Known Subclasses

Bool::BooleanConstraint, Bool::Linear::LinearRelationConstraint, Int::Domain::EnumDomainConstraint, Int::Domain::RangeDomainConstraint, Int::Linear::LinearRelationConstraint, Int::Relation::RelationConstraint, IntEnum::Count::CountConstraint, IntEnum::Sort::SortConstraint, Set::Domain::DomainConstraint, Set::Domain::EqualityDomainConstraint, Set::Relation::EqualityRelationConstraint, Set::Relation::RelationConstraint

Instance Method Summary

• #&(constraint) ⇒ Object

  Produces a conjunction of two reifiable constraints, producing a new reifiable constraint.

• #reification_var ⇒ Object

  Gets the reification operand of the constraint, nil if none exists.

• #reification_var=(new_var) ⇒ Object

  Sets the reification operand of the constraint, nil if none should be used.

• #|(constraint) ⇒ Object

  Produces a disjunction of two reifiable constraints, producing a new reifiable constraint.

Methods inherited from Constraint

#initialize, #post

Constructor Details

This class inherits a constructor from Gecode::Constraint

Instance Method Details

#&(constraint) ⇒ Object

Produces a conjunction of two reifiable constraints, producing a new reifiable constraint.

# File 'lib/gecoder/interface/constraints/reifiable_constraints.rb', line 26

def &(constraint)
  with_reification_operands(constraint) do |b1, b2|
    # Create the conjunction constraint.
    (b1 & b2).must_be.true
  end
end

#reification_var ⇒ Object

Gets the reification operand of the constraint, nil if none exists.

# File 'lib/gecoder/interface/constraints/reifiable_constraints.rb', line 5

def reification_var
  @params[:reif]
end

#reification_var=(new_var) ⇒ Object

Sets the reification operand of the constraint, nil if none should be used.

# File 'lib/gecoder/interface/constraints/reifiable_constraints.rb', line 11

def reification_var=(new_var)
  @params[:reif] = new_var
end

#|(constraint) ⇒ Object

Produces a disjunction of two reifiable constraints, producing a new reifiable constraint.

# File 'lib/gecoder/interface/constraints/reifiable_constraints.rb', line 17

def |(constraint)
  with_reification_operands(constraint) do |b1, b2|
    # Create the disjunction constraint.
    (b1 | b2).must_be.true
  end
end