Java Modelling Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 38:
;<code>\old(<name>)</code>
:modificatore con cui riferirsi al valore della variabile <code><name></code> al momento del lancio nel metodo
;<code>(\forall <dominio>;<range_valori>;<condizione> )</code>
:il [[quantificatore universale (simbolo)|quantificatore universale]] su un range di valori in un certo dominio che rispettano una certa condizione.
;<code>(\exists <dominio>;<range_valori>;<condizione> )</code>
:il [[quantificatore esistenziale (simbolo)|quantificatore esistenziale]] su un range di valori in un certo dominio che rispettano una certa condizione.
;<code>a ==> b</code>
| |||