<< Prev | - Up - | Next >> |
DG_Weight.oz
We now turn to the implementation of the weighted set constraint
functor
import FS
export WeightC
define
%% the weighted product B*S of boolean B and set S
%% B*S = {} if B=false
%% B*S = S if B=true
proc {WeightC B S Result}
{FS.subset Result S}
B =<: {FS.reified.equal S Result}
({FS.card Result}\=:0) =<: B
end
end
<< Prev | - Up - | Next >> |