Clasp::Constraint_t Struct Reference

Constraint types distinguished by a Solver. More...

#include <constraint.h>

Collaboration diagram for Clasp::Constraint_t:

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.

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

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/constraint.h