Akkor egy 
 A in 1..100, B=A, B+3#=5.
típusú célból is lehet baj? Az egyesítés ebben az értelemben másolásnak számít? 
2009/4/30 Peter Szeredi <szeredi@cs.bme.hu>
Levente Zsíros <zslevi@gmail.com> writes:

> Angol nyelvű kommentekkel, arra az esetre, ha el kellene küldeni a
> sicstus-nak.

A gondot az okozza, hogy olyan bagof-ot hasznalsz amelyben az elso (Gyujto)
argumentumban korlat valtozok szerepelnek. A bagof ugyanis a gyujtes soran
le kell, hogy masolja a gyujtot, es ez egy zuros feladat.

Azt javasolom, hogy senki se hasznaljon olyan bagof-ot, ahol az elso
argumentum korlat valtozo, vagy korlat valtozot tartalmazo kifejezes.

A 4.0-s SICStusban ugy tunik mar kikuszoboltek ezt a problemat.

-Peter
>
> 2009/4/30 Peter Szeredi <szeredi@cs.bme.hu>
>
> > Levente Zsíros <zslevi@gmail.com> writes:
> >
> > > A programom (2. kishf) jól lefut az elso esetre. A másodikra segmentation
> > > violation-t dob. (A sicstus kézikönyv nem ír arról semmit, hogy ez mit
> > > jelent.) Ez a sicstus hibája, vagy az enyém?
> >
> > Altalaban, ha egy rendszer segmentation violation-t dob, az a rendszernek a
> > hibaja, es nem pedig a rendszer felhasznalojanak. Vannak azonban kivetelek.
> > Peldaul, ha valaki a clpfd konyvtarban fdset_ eljarasok helyett listakent
> > kezeli az FD halmazokat, akkor ez okozhat segmentation violation-t. Ugyanis
> > az a megszoritas, hogy az FD halmazokat csak az fdset_ kezdetu eljarasokkal
> > szabad kezelni azert van, hogy az FD halmazokhoz valo hozzaferes kozben ne
> > kelljen un. referenciakkal foglalkozni, es igy azt a vizsgalatot, hogy
> > pl. egy listaelem referencia-e, meg lehessen sporolni. Ez viszont azzal
> > jar, hogy ha egy ilyen referencia megis elofordul, akkor segmentation
> > violation-t kap(hat)unk :-(.
> >
> > Miutan a 2. kishf soran nem igazan kell FD halmazokat kezelni, arra
> > tippelek, hogy nem a fent elmondott eset all fenn, hanem sikerult egy
> > hibara rafutnod a SICStusban (valoszinuleg azaltal, hogy egy szokatlan
> > kombinaciojat hasznalod a korlatoknak). Kuldd el (csak nekem) a kododat,
> > vagy add be az ETS-be, es megnezem.
> >
> > -Peter
> >
> >
> > _______________________________________________
> > NHLP-l mailing list
> > NHLP-l@sziami.cs.bme.hu
> > http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l
> >
>
>
>
> --
>
> Zsíros Levente



--

Zsíros Levente