NOTE.txt

CASI DA CHIEDERE
 - singoli web client con ip 10.0.0.1, 10.0.0.2 ecc e requisito con 10.0.0.-1. E' possibile?
 - chiedere cosa succede per i predicati che, passato un NAT, non vengono trasformati
  
Ottimizzazioni da fare:
- cancellare atomic predicates con all negs
- caso in cui ci sono le porte ma nessun trasformer che lavora sulle porte (da discutere a voce con daniele)
- inserimento in lista già ordinato -> non serve fare la sort ogni volta che si chiama la compare e ai thread posso passare lo stesso elenco di predicates
(in quanto non andranno a modificarlo) 
 
 Da commentare (parti di Budapest che non servono più)
 - VerefooNormalizer (non dovrebbe più essere necessario perchè ora il framework lavora con le wildcards)
 
 TEST CASES
 -APtest03 : firewall con regole complesse
 -APtest031: firewall con singola regola in deny
 -APtest032: firewall con wildcards
 -APtest05 : esempio cartaceo con NAT
 -APtest051: cartaceo con anche prototype nel requisito
 -APtest052: cartaceo con porte singole nel requisito
 -APtest07 : NAT e wildcards
 -APtest09 : 2 clients e 2 server e tanti  requisiti
 -NAT01 : firewall e NAT
 -NAT02 : 2 NAT in cascata 
 -NAT03 : 2 NAT, ognuno in uscita da una rete privata differente 
 -NAT04 : esempio sopra più un terzo NAT
 -NAT05: natting from both directions
 -NAT06: percorso circolare I
 -NAT07: percorso circolare II