var theory_2arrays_2options_8h =
[
    [ "CVC4::options::arraysOptimizeLinear__option_t", "structCVC4_1_1options_1_1arraysOptimizeLinear____option__t.html", "structCVC4_1_1options_1_1arraysOptimizeLinear____option__t" ],
    [ "CVC4::options::arraysLazyRIntro1__option_t", "structCVC4_1_1options_1_1arraysLazyRIntro1____option__t.html", "structCVC4_1_1options_1_1arraysLazyRIntro1____option__t" ],
    [ "CVC4::options::arraysModelBased__option_t", "structCVC4_1_1options_1_1arraysModelBased____option__t.html", "structCVC4_1_1options_1_1arraysModelBased____option__t" ],
    [ "CVC4::options::arraysEagerIndexSplitting__option_t", "structCVC4_1_1options_1_1arraysEagerIndexSplitting____option__t.html", "structCVC4_1_1options_1_1arraysEagerIndexSplitting____option__t" ],
    [ "CVC4::options::arraysEagerLemmas__option_t", "structCVC4_1_1options_1_1arraysEagerLemmas____option__t.html", "structCVC4_1_1options_1_1arraysEagerLemmas____option__t" ],
    [ "CVC4_OPTIONS__ARRAYS__FOR_OPTION_HOLDER", "theory_2arrays_2options_8h.html#aaa6eb2d900d054ef1176e2f9794cc8cf", null ],
    [ "arraysEagerIndexSplitting", "theory_2arrays_2options_8h.html#a36bc3097cb2ad479218fd0071a585644", null ],
    [ "arraysEagerLemmas", "theory_2arrays_2options_8h.html#ae48679616134818513033e9bf29e5c4d", null ],
    [ "arraysLazyRIntro1", "theory_2arrays_2options_8h.html#a060cc8737014b623c02cde4e5c58e6f6", null ],
    [ "arraysModelBased", "theory_2arrays_2options_8h.html#a512396f4761ccfed30186a017723140c", null ],
    [ "arraysOptimizeLinear", "theory_2arrays_2options_8h.html#a18bad791e795b83c68816182e705a8f3", null ]
];