var cvc4__public_8h =
[
    [ "CVC4_CONST_FUNCTION", "cvc4__public_8h.html#acb4463c19a6dd3f9e984ca374d38238b", null ],
    [ "CVC4_DEPRECATED", "cvc4__public_8h.html#a0f8d0e16e4d0e72246d6407ba12cf14b", null ],
    [ "CVC4_NORETURN", "cvc4__public_8h.html#a776e9adfbb2ea019f366724d52d2dd8d", null ],
    [ "CVC4_PUBLIC", "cvc4__public_8h.html#a46e3b5eb5105d4e39b38a7249aae3043", null ],
    [ "CVC4_PURE_FUNCTION", "cvc4__public_8h.html#abf2944f91ce34ad190df2a58ec8a84c8", null ],
    [ "CVC4_UNDEFINED", "cvc4__public_8h.html#af536ac1bfcf486821286f4a872b87e78", null ],
    [ "CVC4_UNUSED", "cvc4__public_8h.html#ad9d4e973ed984feb9f8d8f6deb079f67", null ],
    [ "CVC4_WARN_UNUSED_RESULT", "cvc4__public_8h.html#ae465aa1971485049fb2b6354c7faa4f6", null ]
];