Re: [gecode-users] error_segmentation

2014-01-20 Thread Christian Schulte
: Monday, January 20, 2014 10:23 PM To: users@gecode.org Subject: Re: [gecode-users] error_segmentation Arrays are initialized properly like this: int i=5; int m=10; BoolVar B; Reify r(b); Intargs D (n*m); Matrix A (*this, n, m); for (int i=0;i Sum Ai*Bi = 0. why i use linear

Re: [gecode-users] error_segmentation

2014-01-20 Thread Guido Tack
you have an example of reification of linear constraint, could you send it > to me. > Thank you. > Cheers > Mehdi > From: medis...@hotmail.fr > To: users@gecode.org > Date: Mon, 20 Jan 2014 20:22:53 + > Subject: [gecode-users] error_segmentation > > Hello e

Re: [gecode-users] error_segmentation

2014-01-20 Thread mehdi m
Arrays are initialized properly like this: int i=5;int m=10;BoolVar B;Reify r(b);Intargs D (n*m);Matrix A (*this, n, m);for (int i=0;i 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); whe

Re: [gecode-users] error_segmentation

2014-01-20 Thread Christian Schulte
Please read MPG, you first have to properly initialize the arrays. C -- Christian Schulte, www.ict.kth.se/~cschulte From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of mehdi m Sent: Monday, January 20, 2014 09:23 PM To: users@gecode.org Subject: [gecode-users

[gecode-users] error_segmentation

2014-01-20 Thread mehdi m
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 t