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 |