Class: Gecode::Constraints::Int::Linear::SimpleRelationConstraint
- Inherits:
-
ReifiableConstraint
- Object
- Constraint
- ReifiableConstraint
- Gecode::Constraints::Int::Linear::SimpleRelationConstraint
- Defined in:
- lib/gecoder/interface/constraints/int/linear.rb
Overview
Describes a simple relation constraint.
Instance Method Summary collapse
Methods inherited from ReifiableConstraint
#&, #reification_var, #reification_var=, #|
Methods inherited from Constraint
Constructor Details
This class inherits a constructor from Gecode::Constraints::Constraint
Instance Method Details
#post ⇒ Object
137 138 139 140 141 142 143 144 |
# File 'lib/gecoder/interface/constraints/int/linear.rb', line 137 def post # Fetch the parameters to Gecode. params = @params.values_at(:lhs, :relation_type, :element, :reif, :strength) params[3] = params[3].bind unless params[3].nil? # Bind reification var. params.delete_if{ |x| x.nil? } Gecode::Raw::rel(@model.active_space, *params) end |