Clasp::GenericWatch Struct Reference

Represents a generic watch in a Solver. More...

#include <solver_types.h>

List of all members.

Classes
struct	EqConstraint
Public Member Functions
	GenericWatch (Constraint *a_con, uint32 a_data=0)
	A constraint and some associated data.
Constraint::PropResult	propagate (Solver &s, Literal p)
	Calls propagate on the stored constraint and passes the stored data to that constraint.
Public Attributes
Constraint *	con
uint32	data

---

Detailed Description

Represents a generic watch in a Solver.

Definition at line 553 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::GenericWatch::GenericWatch	(	Constraint *	a_con,
		uint32	a_data = 0
	)		[inline, explicit]

A constraint and some associated data.

Definition at line 555 of file solver_types.h.

---

Member Function Documentation

Constraint::PropResult Clasp::GenericWatch::propagate	(	Solver &	s,
		Literal	p
	)		[inline]

Calls propagate on the stored constraint and passes the stored data to that constraint.

Definition at line 557 of file solver_types.h.

---

Member Data Documentation

Constraint* Clasp::GenericWatch::con

The constraint watching a certain literal.

Definition at line 559 of file solver_types.h.

uint32 Clasp::GenericWatch::data

Additional data associated with this watch - passed to constraint on update.

Definition at line 560 of file solver_types.h.

---

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

• solver_types.h