• 1 reply
  • Latest Post - ‏2011-07-04T14:01:09Z by raghu1987
5 Posts

Pinned topic Problem in Creating Reuirement

‏2011-07-04T13:59:07Z |
I am trying to create a requirement for a constraint

for(<p1,l0> in L1ProdL0Loc)
label : f(p1,l0) <= g(p1,l0)

Where L1ProdL0Loc is a tuple set which gets initialized from the data of 2 ODM tables inside the .mod file.

Can someone please guide me, how to achieve this as I have tried a lot to achieve this but unsuccessful till now.
Updated on 2011-07-04T14:01:09Z at 2011-07-04T14:01:09Z by raghu1987
  • raghu1987
    5 Posts

    Re: Problem in Creating Reuirement

    forgot to add 1 thing, I created the group which looks fine, but don't know how to write the expressions for p1 and l0.