var structCVC4_1_1options_1_1axiomInstMode____option__t =
[
    [ "type", "structCVC4_1_1options_1_1axiomInstMode____option__t.html#a76922a03fa641a91ddc2d134f0bc83d8", null ],
    [ "operator()", "structCVC4_1_1options_1_1axiomInstMode____option__t.html#a77b3a307a9ec4d34f579f5553053c743", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1axiomInstMode____option__t.html#a0698db1ca7350d0d625c5d9c5716de24", null ]
];