var structCVC4_1_1options_1_1lemmaInputChannel____option__t =
[
    [ "type", "structCVC4_1_1options_1_1lemmaInputChannel____option__t.html#a978f03c8f377eefb29067053142c9e6a", null ],
    [ "operator()", "structCVC4_1_1options_1_1lemmaInputChannel____option__t.html#a52845fef5619295de5db1ebc57552259", null ],
    [ "set", "structCVC4_1_1options_1_1lemmaInputChannel____option__t.html#a619602820d7648ae69c51411aebdc5dd", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1lemmaInputChannel____option__t.html#aa82d436ed3b22aded740090a454a5132", null ]
];