Stores a set of atoms as in an Interpretation enhanced with additional information which is necessary for encoding answer sets (such as e.g. More...

#include <include/dlvhex2/AnswerSet.h>

Inheritance diagram for AnswerSet:

[legend]

Collaboration diagram for AnswerSet:

[legend]

Public Types
typedef boost::shared_ptr < AnswerSet >	Ptr
typedef boost::shared_ptr < const AnswerSet >	ConstPtr
Public Member Functions
void	computeWeightVector ()
	Computes AnswerSet::weightVector by interpreting auxiliary atoms of type 'w' (see WeakConstraintPlugin).
std::vector< int > &	getWeightVector ()
	Returns a reference to the current weight vector.
bool	betterThan (std::vector< int > &cwv)
	Compares the weight vector of this answer set to that of another one.
bool	strictlyBetterThan (std::vector< int > &cwv)
	Compares weight vector of this answer set to that of another one.
std::ostream &	printWeightVector (std::ostream &o) const
	Prints the vector in dlv syntax.
	AnswerSet (RegistryPtr registry)
	Constructor.
	AnswerSet (InterpretationPtr interpretation)
	Constructor.
virtual	~AnswerSet ()
	Destructor.
virtual std::ostream &	print (std::ostream &o) const
	Prints the answer set including its weight vector (if present).
Data Fields
InterpretationPtr	interpretation
	Set of atoms in this answer set.
std::vector< int >	weightVector
	Stores the weight of the answer set for each level, where levels with a greater index have a higher priority.

Detailed Description

Stores a set of atoms as in an Interpretation enhanced with additional information which is necessary for encoding answer sets (such as e.g.

its costs).

Definition at line 50 of file AnswerSet.h.

Member Typedef Documentation

typedef boost::shared_ptr<const AnswerSet> AnswerSet::ConstPtr

Definition at line 56 of file AnswerSet.h.

typedef boost::shared_ptr<AnswerSet> AnswerSet::Ptr

Definition at line 55 of file AnswerSet.h.

Constructor & Destructor Documentation

AnswerSet::AnswerSet ( RegistryPtr registry ) [inline]

Constructor.

Initializes the answer set with an empty interpretation.

Parameters:

registry Registry used to interpret IDs.

Definition at line 109 of file AnswerSet.h.

References computeWeightVector().

AnswerSet::AnswerSet ( InterpretationPtr interpretation ) [inline]

Constructor.

Initializes the answer set with an existing interpretation.

Parameters:

interpretation Existing interpretation to form the answer set.

Definition at line 121 of file AnswerSet.h.

References computeWeightVector().

virtual AnswerSet::~AnswerSet ( ) [inline, virtual]

Destructor.

Definition at line 130 of file AnswerSet.h.

Member Function Documentation

bool AnswerSet::betterThan ( std::vector< int > & cwv )

Compares the weight vector of this answer set to that of another one.

(<=)

If the maximal level where this vector has costs > 0 is greater then that of cwv, false is returned. Conversely, if the maximal level where vector has costs > 0 is greater then that of this vector, true is returned.

Otherwise the comparison starts at at the greatest common level with costs > 0. If the element in this weight vector is smaller than that of cwv, true is returned. If the element in this weight vector is greater than that of cwv, false is returned. If the elements are equal, the comparison is repeated with the next smaller level until a difference is found. If also level 0 does not yield a difference, true is returned as the vectors are of equal quality.

Parameters: