PRIORITY

Kind: keyword

Record: pag:keyword-priority

Canonical: Grammar

Priority value · utility minus cost

Listed in Grammar records, after PRIORITY_QUEUE and before ENQUEUE.

Grounds

• node:tel-utility
• node:tel-cost
• invariant:epi-weakest-link