var structCVC4_1_1options_1_1lemmaOutputChannel____option__t =
[
    [ "type", "structCVC4_1_1options_1_1lemmaOutputChannel____option__t.html#aee9d3e4c217a5518148e9ff3f0171ead", null ],
    [ "operator()", "structCVC4_1_1options_1_1lemmaOutputChannel____option__t.html#a89164e06e28b8ffb97a85487fd964a6f", null ],
    [ "set", "structCVC4_1_1options_1_1lemmaOutputChannel____option__t.html#a005748f828bfa25b75b5788bb2231eab", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1lemmaOutputChannel____option__t.html#a2d09324377e0361da7a7516052488848", null ]
];