InizioSpecificaAttivitaAtomica

InserisciInTorello(t:Torello, isr:Insieme<GiocatoreRosso>, isg:Insieme<GiocatoreGiallo>)
	
Pre: 	isr isNotEmpty AND isg isNotEmpty

Post: 	FORALL gr in isr: t e gr sono collegati da un link di tipo comprendereGiocatoriRossi AND
		FORALL gg in isg: t e gg sono collegati da un link di tipo comprendereGiocatoriGialli
  
FineSpecifica


