var variables_discrete_state_range =
[
    [ "initial_state", "variables-discrete_state_range-initial_state.html", null ],
    [ "lower_bounds", "variables-discrete_state_range-lower_bounds.html", null ],
    [ "upper_bounds", "variables-discrete_state_range-upper_bounds.html", null ],
    [ "descriptors", "variables-discrete_state_range-descriptors.html", null ]
];