var namespaceCVC4_1_1theory =
[
    [ "TestOutputChannel", "classCVC4_1_1theory_1_1TestOutputChannel.html", "classCVC4_1_1theory_1_1TestOutputChannel" ],
    [ "OutputChannelCallType", "namespaceCVC4_1_1theory.html#abb9647f6a07ccf985f2b523b3393fdd9", [
      [ "CONFLICT", "namespaceCVC4_1_1theory.html#abb9647f6a07ccf985f2b523b3393fdd9a565d451bfe612c8db9e0d3d7754c0487", null ],
      [ "PROPAGATE", "namespaceCVC4_1_1theory.html#abb9647f6a07ccf985f2b523b3393fdd9aa1b2605860ad70f3689701fd88d604e9", null ],
      [ "PROPAGATE_AS_DECISION", "namespaceCVC4_1_1theory.html#abb9647f6a07ccf985f2b523b3393fdd9a53b7b5f4ee813ba3f5f357fab400510c", null ],
      [ "AUG_LEMMA", "namespaceCVC4_1_1theory.html#abb9647f6a07ccf985f2b523b3393fdd9ae04c53837a85615dd40c077310f1ee41", null ],
      [ "LEMMA", "namespaceCVC4_1_1theory.html#abb9647f6a07ccf985f2b523b3393fdd9ab97a0aafc33932149201d01491999ed8", null ],
      [ "EXPLANATION", "namespaceCVC4_1_1theory.html#abb9647f6a07ccf985f2b523b3393fdd9a2bc49ec863305c364d881d676bbeaa69", null ]
    ] ],
    [ "TheoryId", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfff", [
      [ "THEORY_BUILTIN", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffab27445b8725bbfa11c01f98d92b6b5e6", null ],
      [ "THEORY_BOOL", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffae09ea60723d33ca8dbe487e1802691ba", null ],
      [ "THEORY_UF", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa2b623298ea99f26c82b086e119fd2092", null ],
      [ "THEORY_ARITH", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffaf2b65b668c7b81f54d3fbff51201ed11", null ],
      [ "THEORY_BV", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa558e5b3595bee1a58db296beccfa7cd8", null ],
      [ "THEORY_ARRAY", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa272e62dfc5d93eae71b8a1c3ad97b75f", null ],
      [ "THEORY_DATATYPES", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa0095ffc1f683b674c0884c43d88b9ce6", null ],
      [ "THEORY_SETS", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa31e3499cdcc6c64c0fe1ea7c6371df0e", null ],
      [ "THEORY_STRINGS", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa5a053e882ac1802a76730b9b42ee851a", null ],
      [ "THEORY_QUANTIFIERS", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa20d7cf8e4f4afabfa2e75e7ef67efa91", null ],
      [ "THEORY_LAST", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffacc267dd6f01d0e7c3d3b2ad3e765202d", null ],
      [ "$", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffabac4e18ba0ce13b3ec69a3dd23c26ecd", null ]
    ] ],
    [ "TheoryId", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfff", [
      [ "THEORY_BUILTIN", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffab27445b8725bbfa11c01f98d92b6b5e6", null ],
      [ "THEORY_BOOL", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffae09ea60723d33ca8dbe487e1802691ba", null ],
      [ "THEORY_UF", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa2b623298ea99f26c82b086e119fd2092", null ],
      [ "THEORY_ARITH", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffaf2b65b668c7b81f54d3fbff51201ed11", null ],
      [ "THEORY_BV", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa558e5b3595bee1a58db296beccfa7cd8", null ],
      [ "THEORY_ARRAY", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa272e62dfc5d93eae71b8a1c3ad97b75f", null ],
      [ "THEORY_DATATYPES", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa0095ffc1f683b674c0884c43d88b9ce6", null ],
      [ "THEORY_SETS", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa31e3499cdcc6c64c0fe1ea7c6371df0e", null ],
      [ "THEORY_STRINGS", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa5a053e882ac1802a76730b9b42ee851a", null ],
      [ "THEORY_QUANTIFIERS", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffa20d7cf8e4f4afabfa2e75e7ef67efa91", null ],
      [ "THEORY_LAST", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffacc267dd6f01d0e7c3d3b2ad3e765202d", null ],
      [ "$", "namespaceCVC4_1_1theory.html#ab3d90a1e6e7d85c757abbf4c2df1cfffabac4e18ba0ce13b3ec69a3dd23c26ecd", null ]
    ] ],
    [ "TheoryOfMode", "namespaceCVC4_1_1theory.html#ac850bbbd0d54e41424a977bc3a7706f0", [
      [ "THEORY_OF_TYPE_BASED", "namespaceCVC4_1_1theory.html#ac850bbbd0d54e41424a977bc3a7706f0a71f2bda7fcca1302d706ee0e5eadaa3f", null ],
      [ "THEORY_OF_TERM_BASED", "namespaceCVC4_1_1theory.html#ac850bbbd0d54e41424a977bc3a7706f0a44c68525201e91eefe638a3fda172744", null ]
    ] ],
    [ "kindToTheoryId", "namespaceCVC4_1_1theory.html#acef3d134020c6dd462b39d0439fb6f24", null ],
    [ "operator++", "namespaceCVC4_1_1theory.html#a75e63851108ac8bdabeb1f762a0d0dcc", null ],
    [ "operator<<", "namespaceCVC4_1_1theory.html#a50eb9ef80eb42c6b1e85daea0665b506", null ],
    [ "operator<<", "namespaceCVC4_1_1theory.html#af3a67a8649d95bdb496e715e126b0cf1", null ],
    [ "typeConstantToTheoryId", "namespaceCVC4_1_1theory.html#a194e747fcfdec83f3fe314c2e6ad5f0d", null ],
    [ "THEORY_FIRST", "namespaceCVC4_1_1theory.html#aabfd8d4088126eb2ea5aeb52c9ef1476", null ],
    [ "THEORY_SAT_SOLVER", "namespaceCVC4_1_1theory.html#ad83996798ab84934fe0da8b8bb2bbcf4", null ]
];