+ bool result() const
+ {
+ for (Transition* transition : transitions_) {
+ CommTestTransition* tested_transition = static_cast<CommTestTransition*>(transition);
+ if (tested_transition->get_sender() != -1 and tested_transition->get_receiver() != -1)
+ return true;
+ }
+ return false;
+ }