- if (dynamic_cast<const RandomTransition*>(other) != nullptr)
- return false; // Random is indep with any transition
-
- if (auto* any = dynamic_cast<const WaitAnyTransition*>(other))
- return any->depends(this);
- if (auto* any = dynamic_cast<const TestAnyTransition*>(other))
- return any->depends(this);
-
- if (auto* recv = dynamic_cast<const CommRecvTransition*>(other))
- return recv->depends(this);
-
- if (auto* send = dynamic_cast<const CommSendTransition*>(other))
- return send->depends(this);
-
- if (auto* test = dynamic_cast<const CommTestTransition*>(other))
- return test->depends(this);