var structCVC4_1_1options_1_1continuedExecution____option__t =
[
    [ "type", "structCVC4_1_1options_1_1continuedExecution____option__t.html#adc2c67ca8cf653b4100c6f5f6bab3643", null ],
    [ "operator()", "structCVC4_1_1options_1_1continuedExecution____option__t.html#ad8a81d86ed06e8b1d59ced8160bcf89d", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1continuedExecution____option__t.html#a5019b35297eede37f735e56b06db2609", null ]
];