var structCVC4_1_1options_1_1relationalTriggers____option__t =
[
    [ "type", "structCVC4_1_1options_1_1relationalTriggers____option__t.html#a888f35a44be381ea9aae2916aa02acc3", null ],
    [ "operator()", "structCVC4_1_1options_1_1relationalTriggers____option__t.html#a0d2f1158cc56068878aba28174796f1c", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1relationalTriggers____option__t.html#a1f8121921b568c45330a2ce8171981f9", null ]
];