var classCVC4_1_1LemmaInputChannel =
[
    [ "~LemmaInputChannel", "classCVC4_1_1LemmaInputChannel.html#afd9a79f209021a890b8daf53618298d9", null ],
    [ "getNewLemma", "classCVC4_1_1LemmaInputChannel.html#a66c6e9cdc0447b4ce43513d066c0bfa3", null ],
    [ "hasNewLemma", "classCVC4_1_1LemmaInputChannel.html#a7c159f852baec13ddb49fe573fa3567c", null ]
];