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