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.