var variables_discrete_state_set_string =
[
    [ "elements_per_variable", "variables-discrete_state_set-string-elements_per_variable.html", null ],
    [ "elements", "variables-discrete_state_set-string-elements.html", null ],
    [ "initial_state", "variables-discrete_state_set-string-initial_state.html", null ],
    [ "descriptors", "variables-discrete_state_set-string-descriptors.html", null ]
];