diff options
Diffstat (limited to 'src/prop/bvminisat')
-rw-r--r-- | src/prop/bvminisat/core/SolverTypes.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/prop/bvminisat/core/SolverTypes.h b/src/prop/bvminisat/core/SolverTypes.h index 3709715b9..0439a46c4 100644 --- a/src/prop/bvminisat/core/SolverTypes.h +++ b/src/prop/bvminisat/core/SolverTypes.h @@ -80,9 +80,18 @@ const Lit lit_Error = { -1 }; // } // does enough constant propagation to produce sensible code, and this appears to be somewhat // fragile unfortunately. + +#ifndef l_True #define l_True (lbool((uint8_t)0)) // gcc does not do constant propagation if these are real constants. +#endif + +#ifndef l_False #define l_False (lbool((uint8_t)1)) +#endif + +#ifndef l_Undef #define l_Undef (lbool((uint8_t)2)) +#endif class lbool { uint8_t value; |