var elementControl_8c =
[
    [ "endElementControl", "elementControl_8c.html#a83d9f699bd7f8a4ce12f860d58ccedf0", null ],
    [ "startElementControl", "elementControl_8c.html#ae15b1bf7c8536658f858ba128a516170", null ]
];