Here is a list of all namespace enums with links to the namespace documentation for each enum:

ActionType : rrr
ConclusionType : CaDiCaL
Gate_Type : CaDiCaL
GateType : CaDiCaL
NodeType : rrr
PfState : Transduction
SatResult : rrr
Special_ITE_GATE : CaDiCaL
State : CaDiCaL
Status : CaDiCaL
VarValue : rrr
Vivify_Mode : CaDiCaL