var structCVC4_1_1options_1_1preSkolemQuant____option__t =
[
    [ "type", "structCVC4_1_1options_1_1preSkolemQuant____option__t.html#abab9250a5f146d1678e8a9a6a464f829", null ],
    [ "operator()", "structCVC4_1_1options_1_1preSkolemQuant____option__t.html#aa7839d61c9e31231f97594d8737019e2", null ],
    [ "set", "structCVC4_1_1options_1_1preSkolemQuant____option__t.html#ad7a9c556a31191d19ae219da92098d3d", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1preSkolemQuant____option__t.html#a6a0df39d62291a6b820e986d919fb6ee", null ]
];