|
Wiki
UniCrema
Materie per semestre
Materie per anno
Materie per laurea
Help
|
|
Uni.AlSp-Alberi History
Hide minor edits - Show changes to output
Changed lines 35-40 from:
to:
* '''legginodo: %color=#4169E1%(nodo, albero) -> tipoelem'''\\
''Legge il valore contenuto in un nodo.''
* '''scrivinodo: %color=#4169E1%(tipoelem, nodo, albero) -> albero'''\\
''Cambia il valore memorizzato in un nodo.''
Changed lines 74-80 from:
to:
* %color=#4169E1%'''legginodo(''u'', ''T'') = ''a'' '''%%\\
'''Pre:''' ''T'' ≠ Λ, ''u'' nodo in ''T''\\
'''Post:''' ''a'' è valore memorizzato in ''u''
* %color=#4169E1%'''scrivinodo(''a'', ''u'', ''T'') = ''T' '' '''%%\\
'''Pre:''' ''T'' ≠ Λ, ''u'' nodo in ''T''\\
'''Post:''' ''T' '' è ottenuto da ''T'' scrivendo il valore ''a'' nel nodo ''u''
Changed line 1 from:
(:title Algoritmi e strutture dati - Specifiche:) to:
(:title Algoritmi e strutture dati - Specifiche: Alberi:) Changed lines 4-7 from:
(:include Servizi.DaModificare:)
->[[!'''DaModificare''']]: ''mancano le realizzazioni.''
to:
Changed lines 6-7 from:
->[[!'''DaModificare''']]: ''mancano le realizzazioni. to:
->[[!'''DaModificare''']]: ''mancano le realizzazioni.''
Changed lines 6-8 from:
->[[!'''DaModificare''']]: ''manca la semantica e le realizzazioni.\\
Ci sto lavorando '''ora''' ({$LastModified})'' to:
->[[!'''DaModificare''']]: ''mancano le realizzazioni. Deleted lines 40-41:
Changed lines 6-7 from:
->[[!'''DaModificare''']]: ''manca la semantica e le realizzazioni. Ci sto lavorando ora ({$LastModified})'' to:
->[[!'''DaModificare''']]: ''manca la semantica e le realizzazioni.\\
Ci sto lavorando '''ora''' ({$LastModified})'' Changed lines 48-50 from:
* %color=#4169E1%'''foglia(''u'', ''T'') = b'''%%\\
'''Pre:''' T ≠ Λ, ''u'nodo in ''T''\\
''Post:''' b = vero, se non esiste ''v' in 'T'' tale che 'v'' = padre(''v, T''); b = falso altrimenti to:
* %color=#4169E1%'''radice(''T'') = ''u'' '''%%\\
'''Pre:''' T ≠ Λ\\
'''Post:''' ''u'' = ''r''
* %color=#4169E1%'''padre(''u'',''T'') = ''v'' '''%%\\
'''Pre:''' T ≠ Λ, ''u'' nodo in ''T'', ''u'' ≠ ''r''\\
'''Post:''' ''u'' = ''r'' Changed lines 57-60 from:
* %color=#4169E1%'''foglia(''u'', ''T'') = b'''%%\\ to:
* %color=#4169E1%'''primofiglio(''u'', ''T'') = ''v'' '''%%\\
'''Pre:''' T ≠ Λ, ''u'' nodo in ''T'', '''foglia(''u,T'')''' = falso\\
'''Post:''' ''v'' è primo figlio secondo la relazione di precedenza stabilita tra i figli di ''u''
* %color=#4169E1%'''succfratello(''u'', ''T'') = ''v'' '''%%\\ Added lines 62-64:
'''Post:''' ''v'' nodo che segue ''u'' nella relazione di precedenza (''v=s'' se ''u'' è l'ultimo fratello)
* %color=#4169E1%'''foglia(''u'', ''T'') = b'''%%\\
'''Pre:''' T ≠ Λ, ''u'' nodo in ''T''\\ Changed lines 66-68 from:
to:
* %color=#4169E1%'''insradice(''u'',''T'') = ''T' '' '''%%\\
'''Pre:''' T = Λ\\
'''Post:''' ''T' ''= ''{u}'' con ''u'' = ''r'', radice di ''T''
* %color=#4169E1%'''inssottoalbero(''u'', ''v'', ''T'', ''U'') = ''T' '' '''%%\\
'''Pre:''' ''T'' ≠ Λ, ''U'' ≠ Λ, ''u'' e ''v'' nodi in ''T'', ''v'' figlio di ''u'' oppure ''v'' = ''u''\\
'''Post:''' ''T' '' ottenuto da ''T'' aggiungendo ''U'' come sottoalbero: radice ''z'' di ''U'' diventa il nuovo fratello che segue ''v'', se ''u'' ≠ ''v'', oppure primo diflio di ''u'', se ''u'' = ''v''
* %color=#4169E1%'''cancsottoalbero(''u'', ''T'') = ''T' '' '''%%\\
'''Pre:''' ''T'' ≠ Λ, ''U'' ≠ Λ, ''u'' nodo in ''T''\\
'''Post:''' ''T' '' ottenuto da ''T'' eliminando sottoalbero di radice ''u''; ''T'' = Λ se ''u'' = ''r''
Changed lines 6-7 from:
->[[!'''DaModificare''']]: ''manca la semantica e le realizzazioni. Ci sto lavorando ora (14.33)'' to:
->[[!'''DaModificare''']]: ''manca la semantica e le realizzazioni. Ci sto lavorando ora ({$LastModified})'' Changed lines 40-42 from:
to:
!!!Semantica
* %color=#4169E1%'''creaalbero() = ''T' '' '''%%\\
'''Post:''' T' = Λ
* %color=#4169E1%'''alberovuoto(''T'') = b'''%%\\
'''Post:''' b = vero, se T = Λ; b = falso altrimenti
* %color=#4169E1%'''foglia(''u'', ''T'') = b'''%%\\
'''Pre:''' T ≠ Λ, ''u'' nodo in ''T''\\
'''Post:''' b = vero, se non esiste ''v'' in ''T'' tale che ''v'' = padre(''v, T''); b = falso altrimenti
* %color=#4169E1%'''finefratelli(''u'', ''T'') = b'''%%\\
'''Pre:''' T ≠ Λ, ''u'' nodo in ''T'' o "sentinella" ''s''\\
'''Post:''' b = vero, se ''u'' = ''s''; b = falso altrimenti
* %color=#4169E1%'''foglia(''u'', ''T'') = b'''%%\\
'''Pre:''' T ≠ Λ, ''u'' nodo in ''T''\\
'''Post:''' b = vero, se non esiste ''v'' in ''T'' tale che ''v'' = padre(''v, T''); b = falso altrimenti
Changed lines 6-7 from:
->[[!'''DaModificare''']]: ''mancano le specifiche e le realizzazioni. Ci sto lavorando ora (14.33)'' to:
->[[!'''DaModificare''']]: ''manca la semantica e le realizzazioni. Ci sto lavorando ora (14.33)''
Added lines 1-44:
(:title Algoritmi e strutture dati - Specifiche:)
[[Torna alla pagina di Algoritmi e strutture dati->Uni.Algoritmi]]
----
(:include Servizi.DaModificare:)
->[[!'''DaModificare''']]: ''mancano le specifiche e le realizzazioni. Ci sto lavorando ora (14.33)''
%titolo%''':: Algoritmi e strutture dati - Specifiche ::'''
%center%%bgcolor=#d9e4f2 font-size=11pt padding=4px padding-left=50px padding-right=50px%Alberi
----
!!!Sintassi
* '''creaalbero: %color=#4169E1%() -> albero'''\\
''Crea ed inizializza un albero vuoto.''
* '''alberovuoto: %color=#4169E1%(albero) -> booleano'''\\
''Restituisce vero o falso a seconda che l'albero sia vuoto o no.''
* '''radice: %color=#4169E1%(albero) -> nodo'''\\
''Accede direttamente alla radice.''
* '''padre: %color=#4169E1%(nodo, albero) -> nodo'''\\
''Accede al padre di un nodo.''
* '''primofiglio: %color=#4169E1%(nodo, albero) -> nodo'''\\
''Accede al primo figlio di un nodo.''
* '''succfratello: %color=#4169E1%(nodo, albero) -> nodo'''\\
''Accede al fratello successivo di un nodo.''
* '''foglia: %color=#4169E1%(nodo, albero) -> booleano'''\\
''Restituisce vero o falso a seconda che il nodo abbia figli o no.''
* '''finefratelli: %color=#4169E1%(nodo, albero) -> booleano'''\\
''Restituisce vero o falso a seconda che siano stati considerati tutti i fratelli o no.''
* '''insradice: %color=#4169E1%(nodo, albero) -> albero'''\\
''Inserisce la radice in un albero vuoto.''
* '''inssottoalbero: %color=#4169E1%(nodo, nodo, albero, albero) -> albero'''\\
''Inserisce un sottoalbero.''
* '''cancsottoalbero: %color=#4169E1%(nodo, albero) -> albero'''\\
''Cancella un sottoalbero.''
!!!Semantica
....
----
[[Torna alla pagina di Algoritmi e strutture dati->Uni.Algoritmi]]
|
|
