solve-problem(A): case 1: solve-problem$_{1}$(A); case 2: solve-problem$_{2}$(A); ... case n: solve-problem$_{n}$(A)