specs/model.rb in gecoder-0.6.1 vs specs/model.rb in gecoder-0.7.0
- old
+ new
@@ -92,9 +92,16 @@
@glb_enum = [0, 3]
@lub_enum = [0, 1, 2, 3, 5]
@lower_card = 1
@upper_card = 3
end
+
+ it 'should allow the creation of set variables without specified bounds' do
+ var = @model.set_var
+ var.lower_bound.size.should == 0
+ var.upper_bound.min.should == Gecode::Raw::Limits::Set::INT_MIN
+ var.upper_bound.max.should == Gecode::Raw::Limits::Set::INT_MAX
+ end
it 'should allow the creation of set variables with glb range and lub range' do
@model.set_var(@glb_range, @lub_range).should have_bounds(@glb_range,
@lub_range)
end
\ No newline at end of file