var structCVC4_1_1options_1_1pbRewrites____option__t =
[
    [ "type", "structCVC4_1_1options_1_1pbRewrites____option__t.html#a61a6e97b8eb5160844e543b3bff40144", null ],
    [ "operator()", "structCVC4_1_1options_1_1pbRewrites____option__t.html#a2c1d8b1271736287aa48f8945936f4e2", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1pbRewrites____option__t.html#a0e4841061bae7780a611c86412c62c36", null ]
];