Object Constraint Language: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 20:
:<code>età>=0 and età<padre.età</code>
 
Questa regola arricchisce la precedente con un ulteriore vincolo (legato da un [[and]]Algebra_di_Boole#AND|"AND" booleano)]], che specifica che ogni persona è più giovane del proprio padre.
 
===Invarianti su collezioni===