Besonderhede van voorbeeld: -4799616145766471914

Metadata

Author: QED

Data

English^[en]

So here's our invariant checker for the class Red- Black tree.

Italian^[it]

Ecco dunque il nostro controllore invariante per la classe RedBlackTree.

History

Your action: