< Ring buffer AutoProof Code Repository Search a list >

Rotation

Category: Algorithm

Source: Furia'14

Description

Circularily shift a list by k positions (multiple algorithms).

download source

Code