updated reducedstatespace->getState