Sha256: 8e9bd8b10b20246ae3f2b73c336e50c5e674eff92e2db97b54f5e48739c544f2
Contents?: true
Size: 1.44 KB
Versions: 14
Compression:
Stored size: 1.44 KB
Contents
require File.dirname(__FILE__) + '/../property_helper'
[:&, :|, :^].each do |property|
describe Gecode::Bool, " (#{property} property)" do
before do
@model = Gecode::Model.new
@b1 = @model.bool_var
@b2 = @model.bool_var
@model.branch_on @model.wrap_enum([@b1, @b2])
# For bool operand producing property spec.
@property_types = [:bool, :bool]
@select_property = lambda do |bool1, bool2|
bool1.method(property).call bool2
end
@selected_property = @b1.method(property).call @b2
end
it 'should constrain the conjunction/disjunction/exclusive disjunction' do
(@b1.method(property).call @b2).must_be.true
@model.solve!
@b1.value.method(property).call(@b2.value).should be_true
end
it_should_behave_like 'property that produces bool operand'
end
end
describe Gecode::Bool, ' (#implies property)' do
before do
@model = Gecode::Model.new
@b1 = @model.bool_var
@b2 = @model.bool_var
@model.branch_on @model.wrap_enum([@b1, @b2])
# For bool operand producing property spec.
@property_types = [:bool, :bool]
@select_property = lambda do |bool1, bool2|
bool1.implies bool2
end
@selected_property = @b1.implies @b2
end
it 'should constrain the implication' do
(@b1.implies @b2).must_be.true
@model.solve!
(!@b1.value | @b2.value).should be_true
end
it_should_behave_like 'property that produces bool operand'
end
Version data entries
14 entries across 14 versions & 2 rubygems