Constraint for one hot encoded vectors in SV

In reply to dave_59:

Hi Dave ,

So what would be the Order in which they are solved ?

" randc Variables VS Built-in SV Functions VS User Defines Functions "

randc Varaiables I understand would be solved First , what about the solving order between the other 2 Functions ? .

Regards,
AGIS