Lines Matching refs:DiceRef
183 typedef std::pair<uint64_t, DiceRef> DiceTableEntry;6195 Dice.push_back(std::make_pair(PC, DiceRef()));