Clasp::CBConsequences Class Reference

Enumerator for computing the brave/cautious consequences of a logic program. More...

#include <cb_enumerator.h>

Inheritance diagram for Clasp::CBConsequences:

List of all members.

Classes
class	CBFinder
class	SharedConstraint
Public Types
enum	Consequences_t { brave_consequences = (Model::max_value << 1) | Model::model_cons, cautious_consequences = (Model::max_value << 2) | Model::model_cons }
Public Member Functions
	CBConsequences (Consequences_t type)
bool	exhaustive () const
	Returns whether this enumerator requires exhaustive search to produce a definite answer.
int	modelType () const
	Returns the type of models this enumerator computes.
	~CBConsequences ()
Private Member Functions
void	addCurrent (Solver &s, LitVec &con, ValueVec &m)
ConPtr	doInit (SharedContext &ctx, MinimizeConstraint *m, int numModels)
	Shall prepare the enumerator and freeze any enumeration-related variable.
Private Attributes
LitVec	cons_
SharedConstraint *	shared_
Consequences_t	type_

---

Detailed Description

Enumerator for computing the brave/cautious consequences of a logic program.

Definition at line 35 of file cb_enumerator.h.

---

Member Enumeration Documentation

enum Clasp::CBConsequences::Consequences_t

Enumerator:

brave_consequences
cautious_consequences

Definition at line 37 of file cb_enumerator.h.

---

Constructor & Destructor Documentation

Clasp::CBConsequences::CBConsequences

(

Consequences_t

type

)

[explicit]

Parameters:

type	Type of consequences to compute.

Definition at line 72 of file cb_enumerator.cpp.

Clasp::CBConsequences::~CBConsequences

(

)

Definition at line 80 of file cb_enumerator.cpp.

---

Member Function Documentation

void Clasp::CBConsequences::addCurrent	(	Solver &	s,
		LitVec &	con,
		ValueVec &	m
	)		[private]

Definition at line 113 of file cb_enumerator.cpp.

EnumerationConstraint * Clasp::CBConsequences::doInit	(	SharedContext &	ctx,
		MinimizeConstraint *	m,
		int	numModels
	)		[private, virtual]

Shall prepare the enumerator and freeze any enumeration-related variable.

Returns:

A prototypical enumeration constraint to be used in the master solver.

Implements Clasp::Enumerator.

Definition at line 83 of file cb_enumerator.cpp.

bool Clasp::CBConsequences::exhaustive

(

)

const [inline, virtual]

Returns whether this enumerator requires exhaustive search to produce a definite answer.

Reimplemented from Clasp::Enumerator.

Definition at line 47 of file cb_enumerator.h.

int Clasp::CBConsequences::modelType

(

)

const [inline, virtual]

Returns the type of models this enumerator computes.

Reimplemented from Clasp::Enumerator.

Definition at line 46 of file cb_enumerator.h.

---

Member Data Documentation

LitVec Clasp::CBConsequences::cons_ [private]

Definition at line 53 of file cb_enumerator.h.

SharedConstraint* Clasp::CBConsequences::shared_ [private]

Definition at line 54 of file cb_enumerator.h.

Consequences_t Clasp::CBConsequences::type_ [private]

Definition at line 55 of file cb_enumerator.h.

---

The documentation for this class was generated from the following files:

• cb_enumerator.h
• cb_enumerator.cpp