var class_layer_name_and_type_check =
[
    [ "LayerNameAndTypeCheck", "class_layer_name_and_type_check.html#ae8c10e5122b469156f3f85f1248d0093", null ],
    [ "operator()", "class_layer_name_and_type_check.html#a1d7489512d7a0001cbc7fa92b226ea9e", null ]
];