docs / it.uniroma3.dbtree / DBTree / delete

delete

fun delete(k: K): Unit (source)

Algorithm for deleting a key k (and the corresponding value) from the DB-tree T, supposing the key is contained in T.

Parameters

k - the key to delete.