Hello,
I was wondering if it's possible to use the implication with constraint for multiple variable in an elegant way?
constraint example {
flag == true -> other_flag_1 == false;
flag == true -> other_flag_2 == false;
flag == true -> other_flag_3 == false;
}
To be in pseudocode something like:
constraint example {
flag == true -> (other_flag_1 == false; other_flag_2 == false; other_flag_3 == false;);
}
Couldn't figure out the syntax and couldn't find something in the standard so maybe it's not possible (and maybe worth adding?).