Include dependency graph for constraint.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | Clasp::Activity |
| Type storing a constraint's activity. More... | |
| class | Clasp::Antecedent |
| Stores a reference to the constraint that implied a literal. More... | |
| class | Clasp::Constraint |
| Base class for (boolean) constraints to be used in a Solver. More... | |
| struct | Clasp::Constraint_t |
| Constraint types distinguished by a Solver. More... | |
| class | Clasp::LearntConstraint |
| Base class for learnt constraints. More... | |
| class | Clasp::MessageHandler |
| class | Clasp::PlatformError |
| class | Clasp::PostPropagator |
| Base class for post propagators. More... | |
| struct | Clasp::Constraint::PropResult |
| Type used as return type for Constraint::propagate. More... | |
| struct | Clasp::Constraint_t::Set |
Namespaces | |
| namespace | Clasp |
Typedefs | |
| typedef Constraint_t::Type | Clasp::ConstraintType |
| typedef Constraint_t::Set | Clasp::TypeSet |
Detailed Description
Defines the base classes for boolean constraints.
Definition in file constraint.h.