Algorithm 5: AllowedDirectCommunication Function

Require:$\mathrm{C}$D${}_{\mathsf{1}}$$,\mathrm{C}$D${}_{\mathsf{2}}$  Ensure: $TrueorFalse$   if DirectCommunication(C${}_{{\mathsf{D}}_{\mathsf{1}}}$, C${}_{{\mathsf{D}}_{\mathsf{2}}}$) $=False$ then    return $False$   end if   for $\forall {\mathrm{R}}_{★}$ $\in \mathrm{C}$ D${}_{\mathsf{1}}$ do    for $\forall {\mathrm{R}}_{\circ }$ $\in \mathrm{C}$D${}_{\mathsf{2}}$ do      if R★$\left[\mathrm{D}\mathrm{O}\mathrm{M}\right]$ $\cap {\mathrm{R}}_{\circ }$ $\left[\mathrm{D}\mathrm{O}\mathrm{M}\right]$     and D1 $\notin {\mathrm{R}}_{\circ }$ $\left[\mathrm{S}\mathrm{H}\mathrm{A}\mathrm{R}\mathrm{E}\mathrm{S}\right]$     and  R★$\left[\mathrm{R}\mathrm{E}\mathrm{Q}\mathrm{U}\mathrm{I}\mathrm{R}\mathrm{E}\mathrm{S}\right] \cap {\mathrm{R}}_{\circ }$ $\left[\mathrm{P}\mathrm{R}\mathrm{O}\mathrm{V}\mathrm{I}\mathrm{D}\mathrm{E}\mathrm{S}\right] \ne \varnothing$ then       return $False$     end if    end for   end for   return $True$