var variables_discrete_state_set_integer =
[
    [ "elements_per_variable", "variables-discrete_state_set-integer-elements_per_variable.html", null ],
    [ "elements", "variables-discrete_state_set-integer-elements.html", null ],
    [ "categorical", "variables-discrete_state_set-integer-categorical.html", null ],
    [ "initial_state", "variables-discrete_state_set-integer-initial_state.html", null ],
    [ "descriptors", "variables-discrete_state_set-integer-descriptors.html", null ]
];