Algorithm 9: Matching Function

Require:  PF$,\mathrm{C}$D  Ensure: $TrueorFalse$   P${}_{{\mathsf{F}}_{}}^{{}^{\prime }}$$\leftarrow$PF   for $\forall \mathrm{R}$ $\in \mathrm{C}$D do    P${}_{{\mathsf{F}}_{}}^{{}^{\prime }}$$\leftarrow$P${}_{{\mathsf{F}}_{}}^{{}^{\prime }}$$+\mathsf{R}$   end for   if IsConsistentPolicy(P${}_{{\mathsf{F}}_{}}^{{}^{\prime }}$) $=True$ then    return $True$   end if   return $False$