var classCVC4_1_1Result =
[
    [ "Sat", "classCVC4_1_1Result.html#ab937ee1f4704b20d64fefe0ee824244c", [
      [ "UNSAT", "classCVC4_1_1Result.html#ab937ee1f4704b20d64fefe0ee824244cabba2d64bc7ab403ff77cb0a094579175", null ],
      [ "SAT", "classCVC4_1_1Result.html#ab937ee1f4704b20d64fefe0ee824244caaf3160540fb8340e4a6a2bacc8b0ec60", null ],
      [ "SAT_UNKNOWN", "classCVC4_1_1Result.html#ab937ee1f4704b20d64fefe0ee824244ca504edd2d3b55f1809654c6f9fce752b6", null ]
    ] ],
    [ "Type", "classCVC4_1_1Result.html#a76aa41fd384c26e22fea653fede4879f", [
      [ "TYPE_SAT", "classCVC4_1_1Result.html#a76aa41fd384c26e22fea653fede4879fa259d6807da9fc35808babb02cd6fdcb8", null ],
      [ "TYPE_VALIDITY", "classCVC4_1_1Result.html#a76aa41fd384c26e22fea653fede4879fae94480128f2d6bc50e228e6c9c983e8b", null ],
      [ "TYPE_NONE", "classCVC4_1_1Result.html#a76aa41fd384c26e22fea653fede4879fa9f79b873e3646539ce94a1a266047250", null ]
    ] ],
    [ "UnknownExplanation", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8", [
      [ "REQUIRES_FULL_CHECK", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8ad1ae4e719f94d592660f2f889aab3fd9", null ],
      [ "INCOMPLETE", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8a5e84306580ed337691183de28fef956f", null ],
      [ "TIMEOUT", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8a4fe6b5942589a869f6acd7800c817a64", null ],
      [ "RESOURCEOUT", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8add58e275bfcf4e4fe4094ebcd5e7fc96", null ],
      [ "MEMOUT", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8a05c268fedb3f45a6df51c7758dde3a81", null ],
      [ "INTERRUPTED", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8adab46e5e459f07ffd504183d81f37276", null ],
      [ "NO_STATUS", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8a7cb48f1efdf9951bf82d63d934d41a99", null ],
      [ "UNSUPPORTED", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8ab5da61ab63f377bf82f28f35a8e40af4", null ],
      [ "OTHER", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8a0d56e53281ac97289e6dae924a437df2", null ],
      [ "UNKNOWN_REASON", "classCVC4_1_1Result.html#abba50bf2db445e5bf608207eca0f9cb8a0aa5a2fa8a7833df10b514b7d729078e", null ]
    ] ],
    [ "Validity", "classCVC4_1_1Result.html#a933c8b9c82f3ff215d5d922a7f381486", [
      [ "INVALID", "classCVC4_1_1Result.html#a933c8b9c82f3ff215d5d922a7f381486aabb4ea47837af8bb6d9e12046dd58ab2", null ],
      [ "VALID", "classCVC4_1_1Result.html#a933c8b9c82f3ff215d5d922a7f381486a3a478906e1258605716033b487d629a6", null ],
      [ "VALIDITY_UNKNOWN", "classCVC4_1_1Result.html#a933c8b9c82f3ff215d5d922a7f381486a27b6863f3f8d52a8d25d7dbf784461a3", null ]
    ] ],
    [ "Result", "classCVC4_1_1Result.html#af3315794fab853c7e065d2e3e12d3acb", null ],
    [ "Result", "classCVC4_1_1Result.html#a5b2cbc77ce7d02da829647f75fc97df6", null ],
    [ "Result", "classCVC4_1_1Result.html#aaa5dde12b238896825d1b66e09b195f7", null ],
    [ "Result", "classCVC4_1_1Result.html#a8c043daec5f2bbad73563d45b0200782", null ],
    [ "Result", "classCVC4_1_1Result.html#ab5de7733322aa67cb2cfd4d3c0479dcf", null ],
    [ "Result", "classCVC4_1_1Result.html#aaf44f094db92903d597fd042c59a6089", null ],
    [ "Result", "classCVC4_1_1Result.html#aa07b72c795ca2f59c284d42a7db6d4fe", null ],
    [ "asSatisfiabilityResult", "classCVC4_1_1Result.html#a81fee47131f71b6a011c39bf6591f5d3", null ],
    [ "asValidityResult", "classCVC4_1_1Result.html#a02d0f5f2b9d45fc1d534cc286c1a9c85", null ],
    [ "getInputName", "classCVC4_1_1Result.html#ae28d4a8989a5631c645080b12f767d51", null ],
    [ "getType", "classCVC4_1_1Result.html#a06b1b1e638090eaf0cf45ac6c9ce5740", null ],
    [ "isNull", "classCVC4_1_1Result.html#a3126358234dc981df3a210b4e88fc14c", null ],
    [ "isSat", "classCVC4_1_1Result.html#a7013dbdc70f26aa66167fc0ddfe83b40", null ],
    [ "isUnknown", "classCVC4_1_1Result.html#af45ec31835467fb2f54ea21201c1380f", null ],
    [ "isValid", "classCVC4_1_1Result.html#a44e35151e8077e15b1290bba35c45f09", null ],
    [ "operator!=", "classCVC4_1_1Result.html#aa7534a787e1785a3b82cbd1f247b9d4b", null ],
    [ "operator==", "classCVC4_1_1Result.html#a87e11c6533aff8fb07bb9d54961957ca", null ],
    [ "toString", "classCVC4_1_1Result.html#a837ff1e67526772332adc37f6acadf4a", null ],
    [ "whyUnknown", "classCVC4_1_1Result.html#a18cd23fdfef01915ac14f83f935a319c", null ]
];