[ library(queues) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# jump_queue(Element, OldQueue, NewQueue)

adds the new element at the front of the list

## Description

adds the new element at the front of the list. Unlike join_queue,

     	jump_queue(1, OldQ, NewQ1),
     	jump_queue(2, OldQ, NewQ2)

*does* work, though if you add things at the end of NewQ1 they will also show up in NewQ2. Note that

     	jump_queue(1, OldQ, MidQ),
     	jump_queue(2, MidQ, NewQ)

makes NewQ start 2, 1, ...