Here is a list of all enum values with links to the classes they belong to:

• ACTIVE : CaDiCaL::Flags
• BLOCK : CaDiCaL::Internal
• CONDITION : CaDiCaL::Internal
• CONGRUENCE : CaDiCaL::Internal
• COVER : CaDiCaL::Internal
• DECOMP : CaDiCaL::Internal
• DEDUP : CaDiCaL::Internal
• ELIM : CaDiCaL::Internal
• ELIMINATED : CaDiCaL::Flags
• FACTOR : CaDiCaL::Internal
• FIXED : CaDiCaL::Flags
• LUCKY : CaDiCaL::Internal
• PROBE : CaDiCaL::Internal
• PURE : CaDiCaL::Flags
• Ref_Undef : Gluco2::RegionAllocator< T >, Gluco::RegionAllocator< T >, Minisat::RegionAllocator< T >
• SEARCH : CaDiCaL::Internal
• SIMPLIFY : CaDiCaL::Internal
• SUBSTITUTED : CaDiCaL::Flags
• SUBSUME : CaDiCaL::Internal
• SWEEP : CaDiCaL::Internal
• TERNARY : CaDiCaL::Internal
• TRANSRED : CaDiCaL::Internal
• Unit_Size : Gluco2::RegionAllocator< T >, Gluco::RegionAllocator< T >, Minisat::RegionAllocator< T >
• UNUSED : CaDiCaL::Flags
• VIVIFY : CaDiCaL::Internal
• WALK : CaDiCaL::Internal