var structCVC4_1_1options_1_1foPropQuant____option__t =
[
    [ "type", "structCVC4_1_1options_1_1foPropQuant____option__t.html#acb39e8a107705ee42e325eeac6dd3d3e", null ],
    [ "operator()", "structCVC4_1_1options_1_1foPropQuant____option__t.html#aa50c60290d244eb0df7db5d985fa877f", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1foPropQuant____option__t.html#af43376a400d3128b4fa551d46bd6de18", null ]
];