var structCVC4_1_1options_1_1smartTriggers____option__t =
[
    [ "type", "structCVC4_1_1options_1_1smartTriggers____option__t.html#ae2234d069e697341ffa54cbc8ceb00d4", null ],
    [ "operator()", "structCVC4_1_1options_1_1smartTriggers____option__t.html#ac60b36a1e9d9a8992334cbd125edf74e", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1smartTriggers____option__t.html#a8485fbaad667e8d0255b15d0b130b6ca", null ]
];