var structCVC4_1_1options_1_1maxReplayTree____option__t =
[
    [ "type", "structCVC4_1_1options_1_1maxReplayTree____option__t.html#a558b24f0773419112ac75bf03f27ee81", null ],
    [ "operator()", "structCVC4_1_1options_1_1maxReplayTree____option__t.html#a95fea74632c15a3e8a189c23c6d2c4bf", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1maxReplayTree____option__t.html#ab4cd7ec2acb8b8843e029b71ac5260b9", null ]
];