class Gecode::ReifiableConstraint

Base class for all reifiable constraints.

Public Instance Methods

&(constraint) click to toggle source

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

# File doc/tmp/rdoc_dev/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() click to toggle source

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

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/reifiable_constraints.rb, line 5
def reification_var
  @params[:reif]
end
reification_var=(new_var) click to toggle source

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

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/reifiable_constraints.rb, line 11
def reification_var=(new_var)
  @params[:reif] = new_var
end
|(constraint) click to toggle source

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

# File doc/tmp/rdoc_dev/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