var a00039 =
[
    [ "ResolutionContext", "a00039.html#a0bfc3c935b1c39a3fcfa5b4ca4d75f58", null ],
    [ "~ResolutionContext", "a00039.html#a7ee9b9d1f44a66bcbed01d3ec20dc663", null ],
    [ "getResolvedAssertions", "a00039.html#a62dc29755ea97ae2dcb0600a4991eba6", null ],
    [ "getResolvedAttributes", "a00039.html#a0e07d4641085a3788c1eec227d1c4e00", null ]
];