var classCVC4_1_1DatatypeUnresolvedType =
[
    [ "DatatypeUnresolvedType", "classCVC4_1_1DatatypeUnresolvedType.html#a51dc4357e1bb54f69935d107aeef40a3", null ],
    [ "getName", "classCVC4_1_1DatatypeUnresolvedType.html#a5b4d99e4afbeeff5a1d597f1182fa63c", null ]
];