Java Modelling Language: differenze tra le versioni

Versione delle 18:24, 3 dic 2008

Versione delle 18:26, 3 dic 2008

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>