[gecode-users] error_segmentation

[mehdi m]

Arrays are initialized properly like this: int i=5;int m=10;BoolVar B;Reify r(b);Intargs D (n*m);Matrix <IntArgs> A (*this, n, m);for (int i=0;i<m;i++){     for(int j=0;j<n;j++){     A(i,j)=1;     }}for (int i=0;i<m;i++){linear (*this, A.col(i),B , IRT_EQ, 0, r); }
if you have an example of reification of linear constraint, could you send it to me.Thank you.CheersMehdiFrom: medistif at hotmail.fr
To: users at gecode.org
Date: Mon, 20 Jan 2014 20:22:53 +0000
Subject: [gecode-users] error_segmentation







Hello everyone,in my model,  i want to express : x <--> Sum Ai*Bi = 0.why i use linear constraint and reification such as :
IntArgs A ;BoolVarArray B;BoolVar b;reify r (b);linear (*this, A , B , IRT_EQ , 0 , r);
when running this gives me a segmentation fault. when I deleted the parameter r that passes, the problem might therefore be in the parameter r.
if someone has an idea ! .thank you.Cheers,Mehdi  
 		 	   		  

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20140120/1e4b2397/attachment.html>