| learnt_conflict enum value | Clasp::Constraint_t | |
| learnt_loop enum value | Clasp::Constraint_t | |
| learnt_other enum value | Clasp::Constraint_t | |
| max_value enum value | Clasp::Constraint_t | |
| static_constraint enum value | Clasp::Constraint_t | |
| Type enum name | Clasp::Constraint_t |