Case Analysis
The refinement is structured so that solving one of the subproblems P1,�,Pn solves P. Which Pi is solved is determined during execution by testing conditions.
/* Solve problem P */
if (P is an instance of case 1)
else if (P is an instance of case 2)
else if (P is an instance of case 3)
else /* P is an instance of case n */