var structCVC4_1_1options_1_1arithSimplexCheckPeriod____option__t =
[
    [ "type", "structCVC4_1_1options_1_1arithSimplexCheckPeriod____option__t.html#a51fb922fce410fe6abbe60dfb8024965", null ],
    [ "operator()", "structCVC4_1_1options_1_1arithSimplexCheckPeriod____option__t.html#aaacb45794f901c76c9df358bcbc5ddc3", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1arithSimplexCheckPeriod____option__t.html#a01c2b23ca5fc4f409cd8a9856c74b42e", null ]
];