[sv-ec] Question on DIST constraints


Subject: [sv-ec] Question on DIST constraints
From: Ryan, Ray (Ray_Ryan@mentorg.com)
Date: Thu Jul 03 2003 - 10:07:32 PDT


Arturo,

Thanks for your answers to my other questions
regarding constaints and randomization.

In looking at the distribution constraints for random
variables (12.4.4 Distribution):

1) In a distribution constraint, can a value expression include
   a random variable? Can a weight expresion include a random
   variable? (It would expect that a weight expression should
   not include an active random variable.)

   That is, are the following constraints legal?

     rand integer x,y,z;

     constraint c1 { x dist { y:=9, z:=1 }; }
     constraint c2 { x dist { 0:=y, [1:10]:/z, [11:15]:=1 }; }
     constraint c3 { x dist { y:=z, 0:=1 }; }
     constraint c4 { x dist { [y:z]/=100, 0:=1 }; }
     constraint c5 { x dist { y:=x, z:=z }; }

   If it is legal for a weight to include an active random variable,
   what is the semantic for these constraints? What is the order of
   solving for x,y,z?

   Are these constraints 'bidirectional' (like the 'inside' constraint)?

2) Can the values and ranges in a distribution constraint overlap?
   Are the following legal?

      rand integer x,y,z;

      constraint c1 { x dist { 0:=100, [0:9]:/100, [0:3]:/100 }; }

   Is this equivalent to:
     constraint c2 { x dist { 0:=(100+10+25), [1:3]:=(10+25), [4:9]:=25 }; }

Thanks,
Ray



This archive was generated by hypermail 2b28 : Thu Jul 03 2003 - 10:08:52 PDT