[gecode-users] linear constraints with double args

[Christian Schulte]

Hi Stefano,

yes it is much better to wait until around April 20th. We are currently
massively restructuring and any attempt to compile the trunk is doomed ;-)

I would be curious how you did it, sounds interesting.

Christian

--
Christian Schulte, http://www.imit.kth.se/~schulte/ 

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Stefano Gualandi
Sent: Thursday, April 12, 2007 10:07 AM
To: users at gecode.org
Subject: [gecode-users] linear constraints with double args


Hi,
with the initial support of Gregoire Dooms, I had implemented/ 
adaptaded the following constraints on gecode 1.3.1:

GECODE_INT_EXPORT void
linear(Space* home, const Gecode::DoubleArgs& a, const IntVarArgs& x,
        IntRelType r, double c, BoolVar b,
        IntConLevel=ICL_DEF);

GECODE_INT_EXPORT void
linear(Space* home, const Gecode::DoubleArgs& a, const IntVarArgs& x,
        IntRelType r, double c,
        IntConLevel=ICL_DEF);

GECODE_INT_EXPORT void
linear(Space* home, const Gecode::DoubleArgs& a, const BoolVarArray& x,
        IntRelType r, double c, BoolVar b,
        IntConLevel=ICL_DEF);

GECODE_INT_EXPORT void
linear(Space* home, const Gecode::DoubleArgs& a, const BoolVarArray& x,
        IntRelType r, double c,
        IntConLevel=ICL_DEF);

They support as IntRelType only IRT_LQ and IRT_GQ.


I would like to integrate them with the trunk branch and send you a  
patch, but it seems there are changes in the implementation of the  
linear constraints, with new support for bool linear constraints. If  
you are interested, I can try to integrate them on the trunk, but,  
currently, the trunk does not compile... should I wait for Gecode 2.0?

thanks,
Stefano



_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users