text: var class_tx_priority_compare =
  [
      [ "TxPriorityCompare", "class_tx_priority_compare.html#a2ee1aac9d165bbeaaf2a687373f318ad", null ],
      [ "operator()", "class_tx_priority_compare.html#ab50fdbeb5862709d13a271c11ade1775", null ]
  ];