Buongiorno, io ho questo file XML.

Codice PHP:
<?xml version="1.0" encoding="utf-8"?> 

<game>  

<carte_user_mano><carta id="13" /><carta id="22" /><carta id="1" /></carte_user_mano>  

<carte_user_win />  

<carte_computer_mano><carta id="12" /><carta id="33" /><carta id="99" /></carte_computer_mano>  

<carte_computer_win /> 

 <mazzo><carta id="6" /><carta id="15" /><carta id="31" /><carta id="19" /><carta id="2" /><carta id="30" /><carta id="7" /><carta id="38" /><carta id="8" /><carta id="4" /><carta id="20" /><carta id="18" /><carta id="26" /><carta id="39" /><carta id="23" /><carta id="10" /><carta id="21" /><carta id="27" /><carta id="17" /><carta id="37" /><carta id="32" /><carta id="29" /><carta id="35" /><carta id="36" /><carta id="24" /><carta id="28" /><carta id="34" /><carta id="14" /><carta id="16" /><carta id="3" /><carta id="5" /><carta id="25" /><carta id="40" /><carta id="11" /></mazzo> 

 <carte_tavolo><carta id="9" /><carta id="99" /></carte_tavolo>  </game>
vorrei riuscire a leggere gli id delle carte e metterli in una list<int>.
nello specifico, ad esempio, vorrei avere una list<int> Mazzo, una list<int> carte_computer_mano ecc.

Grazier per le risposte.