actasp::AnswerSet Class Reference

#include <AnswerSet.h>

List of all members.

Public Types
typedef std::vector < actasp::AspFluent >	FluentSet
Public Member Functions
	AnswerSet ()
template<typename Iterator >
	AnswerSet (Iterator from, Iterator to) throw ()
bool	contains (const actasp::AspFluent &fluent) const throw ()
const FluentSet &	getFluents () const throw ()
std::set< actasp::AspFluent >	getFluentsAtTime (unsigned int timeStep) const throw ()
std::list< Action * >	instantiateActions (const std::map< std::string, actasp::Action * > &actionMap) const throw (std::logic_error)
bool	isSatisfied () const throw ()
unsigned int	maxTimeStep () const throw ()
Private Attributes
FluentSet	fluents
bool	satisfied

---

Detailed Description

Definition at line 18 of file AnswerSet.h.

---

Member Typedef Documentation

typedef std::vector<actasp::AspFluent> actasp::AnswerSet::FluentSet

Definition at line 29 of file AnswerSet.h.

---

Constructor & Destructor Documentation

actasp::AnswerSet::AnswerSet

(

)

[inline]

Definition at line 22 of file AnswerSet.h.

template<typename Iterator >

actasp::AnswerSet::AnswerSet	(	Iterator	from,
		Iterator	to
	)		throw () [inline]

Definition at line 25 of file AnswerSet.h.

---

Member Function Documentation

bool actasp::AnswerSet::contains

(

const actasp::AspFluent &

fluent

)

const throw ()

Definition at line 19 of file AnswerSet.cpp.

const FluentSet& actasp::AnswerSet::getFluents

(

)

const throw () [inline]

Definition at line 37 of file AnswerSet.h.

std::set< actasp::AspFluent > actasp::AnswerSet::getFluentsAtTime

(

unsigned int

timeStep

)

const throw ()

Definition at line 61 of file AnswerSet.cpp.

std::list< Action * > actasp::AnswerSet::instantiateActions

(

const std::map< std::string, actasp::Action * > &

actionMap

)

const throw (std::logic_error)

Definition at line 34 of file AnswerSet.cpp.

bool actasp::AnswerSet::isSatisfied

(

)

const throw ()

Definition at line 15 of file AnswerSet.cpp.

unsigned int actasp::AnswerSet::maxTimeStep

(

)

const throw ()

Definition at line 71 of file AnswerSet.cpp.

---

Member Data Documentation

FluentSet actasp::AnswerSet::fluents [private]

Definition at line 46 of file AnswerSet.h.

bool actasp::AnswerSet::satisfied [private]

Definition at line 45 of file AnswerSet.h.

---

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

• AnswerSet.h
• AnswerSet.cpp