var classCVC4_1_1LemmaOutputChannel =
[
    [ "~LemmaOutputChannel", "classCVC4_1_1LemmaOutputChannel.html#aaa9ed4b9fcb3a06666b80ed0470ae006", null ],
    [ "notifyNewLemma", "classCVC4_1_1LemmaOutputChannel.html#a5c71c086b309bd3f84e37850edee4e2b", null ]
];