Searched refs:SUMO_ATTR_RNG_DRIVERSTATE (Results 1 – 3 of 3) sorted by relevance
131 if (attrs.hasAttribute(SUMO_ATTR_RNG_DRIVERSTATE)) { in myStartElement()280 out.writeAttr(SUMO_ATTR_RNG_DRIVERSTATE, RandHelper::saveState(OUProcess::getRNG())); in saveRNGs()
978 SUMO_ATTR_RNG_DRIVERSTATE enumerator
669 { "driverState", SUMO_ATTR_RNG_DRIVERSTATE },