constraint.h File Reference

#include <clasp/literal.h>
#include <utility>
#include <cassert>

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::Constraint_t
	Constraint types distinguished by a Solver. More...
struct	Clasp::Constraint_t::Set
struct	Clasp::Activity
	Type storing a constraint's activity. More...
class	Clasp::Constraint
	Base class for (boolean) constraints to be used in a Solver. More...
struct	Clasp::Constraint::PropResult
	Type used as return type for Constraint::propagate. More...
class	Clasp::LearntConstraint
	Base class for learnt constraints. More...
class	Clasp::PostPropagator
	Base class for post propagators. More...
class	Clasp::MessageHandler
class	Clasp::Antecedent
	Stores a reference to the constraint that implied a literal. More...
class	Clasp::PlatformError

Namespaces
	Clasp

Typedefs
typedef Constraint_t::Type	Clasp::ConstraintType
typedef Constraint_t::Set	Clasp::TypeSet

Detailed Description

Defines the base classes for boolean constraints.