var classSoDecimationTypeElement =
[
    [ "Type", "classSoDecimationTypeElement.html#ab77cb535bf5eca102428ce829a5db59f", null ],
    [ "~SoDecimationTypeElement", "classSoDecimationTypeElement.html#a51b7e15b0322b7d97b932365c7bbbdf2", null ],
    [ "init", "classSoDecimationTypeElement.html#a6ca12ce719de9f37265fda7abdf3f79e", null ]
];