Java Modelling Language: differenze tra le versioni

Versione delle 01:58, 18 nov 2008

Versione delle 18:24, 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>

:il costrutto logico <code>a</code> implica <code>b</code>