if (sbuff_ != 0 && rbuff_ != 0 && wait->sbuff_ != 0 && wait->rbuff_ != 0 && rbuff_ != wait->sbuff_ &&
rbuff_ != wait->rbuff_ && rbuff_ != sbuff_)
return false;
+
+ return true;
}
- return true;
+ return false; // Comm transitions are INDEP with non-comm transitions
}
CommTestTransition::CommTestTransition(aid_t issuer, int times_considered, std::stringstream& stream)
: Transition(Type::COMM_TEST, issuer, times_considered)
return false;
}
- return true;
+ return false; // Comm transitions are INDEP with non-comm transitions
}
CommRecvTransition::CommRecvTransition(aid_t issuer, int times_considered, std::stringstream& stream)
if ((aid_ != test->sender_) && (aid_ != test->receiver_) && (test->rbuff_ != rbuff_))
return false;
+
+ return true; // DEP with other send transitions
}
if (auto* wait = dynamic_cast<const CommWaitTransition*>(other)) {
if ((aid_ != wait->sender_) && (aid_ != wait->receiver_) && (wait->rbuff_ != rbuff_))
return false;
+
+ return true; // DEP with other wait transitions
}
- return true;
+ return false; // Comm transitions are INDEP with non-comm transitions
}
CommSendTransition::CommSendTransition(aid_t issuer, int times_considered, std::stringstream& stream)
if ((aid_ != test->sender_) && (aid_ != test->receiver_) && (test->sbuff_ != sbuff_))
return false;
+
+ return true; // DEP with other test transitions
}
if (const auto* wait = dynamic_cast<const CommWaitTransition*>(other)) {
if ((aid_ != wait->sender_) && (aid_ != wait->receiver_) && (wait->sbuff_ != sbuff_))
return false;
+
+ return true; // DEP with other wait transitions
}
- return true;
+ return false; // Comm transitions are INDEP with non-comm transitions
}
} // namespace mc