DEMO >> PREDICATI OPACHI

- CFG di un metodo che calcola il fattoriale di un numero

- CFG dello stesso metodo dopo l'inserimento di un predicato opaco

- DDG dello stesso metodo dopo l'inserimento di un predicato opaco
clicca qui per aprire l'immagine

- CFG di un metodo che dice se un numero è primo o no

- CFG di un metodo che dice se un numero è primo o no dopo l'inserimento di più predicati opachi
clicca qui per aprire l'immagine