module RR::DoubleDefinitions::DoubleDefinition::StateQueryMethods