push_head


Description:

public void push_head (owned G data)

Adds a new element at the head of the queue.

Parameters:

this

a Queue.

data

the data for the new element.