diff options
Diffstat (limited to 'src/theory/arith/nl/inference.h')
| -rw-r--r-- | src/theory/arith/nl/inference.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/theory/arith/nl/inference.h b/src/theory/arith/nl/inference.h index 99b7e681e..20c1a06a2 100644 --- a/src/theory/arith/nl/inference.h +++ b/src/theory/arith/nl/inference.h @@ -67,6 +67,11 @@ enum class Inference : uint32_t T_TANGENT, // secant refinement, the dual of the above inference T_SECANT, + //-------------------- cad solver + // conflict / infeasible subset obtained from cad + CAD_CONFLICT, + // excludes an interval for a single variable + CAD_EXCLUDED_INTERVAL, //-------------------- unknown UNKNOWN, }; |