specs/constraints/boolean.rb in gecoder-0.6.0 vs specs/constraints/boolean.rb in gecoder-0.6.1
- old
+ new
@@ -27,15 +27,18 @@
end
@expect_options = lambda do |strength, reif_var|
@model.allow_space_access do
Gecode::Raw.should_receive(:bool_or).once.with(
an_instance_of(Gecode::Raw::Space),
- @b1.bind, @b2.bind, an_instance_of(Gecode::Raw::BoolVar),
+ an_instance_of(Gecode::Raw::BoolVar),
+ an_instance_of(Gecode::Raw::BoolVar),
+ an_instance_of(Gecode::Raw::BoolVar),
Gecode::Raw::ICL_DEF)
unless reif_var.nil?
Gecode::Raw.should_receive(:bool_eqv).once.with(
an_instance_of(Gecode::Raw::Space),
- an_instance_of(Gecode::Raw::BoolVar), reif_var.bind, true, strength)
+ an_instance_of(Gecode::Raw::BoolVar),
+ an_instance_of(Gecode::Raw::BoolVar), true, strength)
end
end
end
end
\ No newline at end of file