Public Types | Public Member Functions | Private Attributes
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 FluentSetgetFluents () const throw ()
std::set< actasp::AspFluentgetFluentsAtTime (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 (std::logic_error)

Private Attributes

FluentSet fluents
bool satisfied

Detailed Description

Definition at line 18 of file AnswerSet.h.


Member Typedef Documentation

Definition at line 29 of file AnswerSet.h.


Constructor & Destructor Documentation

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 (std::logic_error)

Definition at line 71 of file AnswerSet.cpp.


Member Data Documentation

Definition at line 46 of file AnswerSet.h.

Definition at line 45 of file AnswerSet.h.


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


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37