Is there any reason why JavaBranchingDesc is final in Gecode/J? My problem naturally has a number of different kinds of branch descriptions depending on what variable they apply to. It is annoying to have to encode this into some arbitrary integer and then decode it again when I commit. It would be much nice to have a collection of different BranchingDesc classes each with their own commit method.
Malcolm _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
