Searched refs:SUMO_ATTR_RNG_DEVICE (Results 1 – 3 of 3) sorted by relevance
125 if (attrs.hasAttribute(SUMO_ATTR_RNG_DEVICE)) { in myStartElement()278 out.writeAttr(SUMO_ATTR_RNG_DEVICE, RandHelper::saveState(MSDevice::getEquipmentRNG())); in saveRNGs()
976 SUMO_ATTR_RNG_DEVICE, enumerator
667 { "device", SUMO_ATTR_RNG_DEVICE },