Clasp::Test::ClauseObserver Struct Reference

Inheritance diagram for Clasp::Test::ClauseObserver:

List of all members.

Public Types
typedef std::vector< Literal >	Clause
typedef std::vector< Clause >	Clauses
Public Member Functions
Literal	doSelect (Solver &)
	Implements the actual selection process.
void	newConstraint (const Solver &, const Literal *first, LitVec::size_type size, ConstraintType)
void	updateVar (const Solver &, Var, uint32)
Public Attributes
Clauses	clauses_

---

Detailed Description

Definition at line 29 of file program_builder_test.cpp.

---

Member Typedef Documentation

typedef std::vector<Literal> Clasp::Test::ClauseObserver::Clause

Definition at line 40 of file program_builder_test.cpp.

typedef std::vector<Clause> Clasp::Test::ClauseObserver::Clauses

Definition at line 41 of file program_builder_test.cpp.

---

Member Function Documentation

Literal Clasp::Test::ClauseObserver::doSelect

(

Solver &

)

[inline, virtual]

Implements the actual selection process.

Precondition:

s.numFreeVars() > 0, i.e. there is at least one variable to branch on.

Returns:

• a literal that is currently free or
• a sentinel literal. In that case, the heuristic shall have asserted a literal!

Implements Clasp::DecisionHeuristic.

Definition at line 30 of file program_builder_test.cpp.

void Clasp::Test::ClauseObserver::newConstraint	(	const Solver &	,
		const Literal *	,
		LitVec::size_type	,
		ConstraintType
	)		[inline, virtual]

Called whenever a new constraint is added to the solver s. The default-implementation is a noop.

Parameters:

s	The solver to which the constraint is added.
first	First literal of the new constraint.
size	Size of the new constraint.
t	Type of the new constraint.

Note:

first points to an array of size size.

Reimplemented from Clasp::DecisionHeuristic.

Definition at line 32 of file program_builder_test.cpp.

void Clasp::Test::ClauseObserver::updateVar	(	const Solver &	,
		Var	,
		uint32
	)		[inline, virtual]

Called if the state of one or more variables changed. A state change is one of:

• A previously eliminated variable is resurrected.
• A new aux variable was added.
• An aux variable was removed.

Parameters:

s	Solver in which the state change occurred.
v	The first variable affected by the change.
n	The range of variables affected, i.e. [v, v+n).

Note:

Use s.validVar(v) and s.auxVar(v) to determine the reason for the update.

Implements Clasp::DecisionHeuristic.

Definition at line 31 of file program_builder_test.cpp.

---

Member Data Documentation

Clauses Clasp::Test::ClauseObserver::clauses_

Definition at line 42 of file program_builder_test.cpp.

---

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

• program_builder_test.cpp