In reply to venkata-srikanth:
This is a typical XY problem. A constraint is not procedural code, it is an equation. You need to show us your situation that makes you think you need a case statement and an implication is not adequate. Note that if/else is just an alternative syntax for an implication.