Clasp::Constraint_t Struct Reference

Constraint types distinguished by a Solver. More...

#include <constraint.h>

List of all members.

Classes
struct	Set
Public Types
enum	Type {   static_constraint = 0, learnt_conflict = 1, learnt_loop = 2, learnt_other = 3,   max_value = learnt_other }

---

Detailed Description

Constraint types distinguished by a Solver.

Definition at line 49 of file constraint.h.

---

Member Enumeration Documentation

enum Clasp::Constraint_t::Type

Enumerator:

static_constraint	an unremovable constraint (e.g. a problem constraint)
learnt_conflict	a (removable) constraint derived from conflict analysis
learnt_loop	a (removable) constraint derived from unfounded set checking
learnt_other	a (removable) constraint learnt by some other means
max_value

Definition at line 50 of file constraint.h.

---

The documentation for this struct was generated from the following file:

• constraint.h