Public Member Functions | Private Attributes | Friends
actasp::AspFluent Class Reference

#include <AspFluent.h>

List of all members.

Public Member Functions

unsigned int arity () const throw ()
 AspFluent (const std::string &formula) throw (std::invalid_argument)
 AspFluent (const std::string &name, const std::vector< std::string > &variables, unsigned int timeStep=0) throw ()
std::string getName () const throw ()
std::vector< std::string > getParameters () const throw ()
unsigned int getTimeStep () const throw ()
 operator std::string () const
bool operator< (const AspFluent &other) const throw ()
bool operator== (const AspFluent &other) const throw ()
void setTimeStep (unsigned int timeStep) throw ()
std::string toString () const throw ()
std::string toString (unsigned int timeStep) const throw ()
std::string toString (const std::string &timeStepVar) const throw ()

Private Attributes

std::string cachedBase
unsigned int timeStep

Friends

class ActionComparator
class ActionEquality

Detailed Description

Definition at line 15 of file AspFluent.h.


Constructor & Destructor Documentation

actasp::AspFluent::AspFluent ( const std::string &  formula) throw (std::invalid_argument)

Definition at line 11 of file AspFluent.cpp.

actasp::AspFluent::AspFluent ( const std::string &  name,
const std::vector< std::string > &  variables,
unsigned int  timeStep = 0 
) throw ()

Definition at line 37 of file AspFluent.cpp.


Member Function Documentation

unsigned int actasp::AspFluent::arity ( ) const throw ()

Definition at line 52 of file AspFluent.cpp.

string actasp::AspFluent::getName ( ) const throw ()

Definition at line 67 of file AspFluent.cpp.

vector< string > actasp::AspFluent::getParameters ( ) const throw ()

Definition at line 71 of file AspFluent.cpp.

unsigned int actasp::AspFluent::getTimeStep ( ) const throw ()

Definition at line 63 of file AspFluent.cpp.

actasp::AspFluent::operator std::string ( ) const [inline]

Definition at line 36 of file AspFluent.h.

bool actasp::AspFluent::operator< ( const AspFluent other) const throw ()

Definition at line 88 of file AspFluent.cpp.

bool actasp::AspFluent::operator== ( const AspFluent other) const throw ()

Definition at line 98 of file AspFluent.cpp.

void actasp::AspFluent::setTimeStep ( unsigned int  timeStep) throw ()

Definition at line 56 of file AspFluent.cpp.

std::string actasp::AspFluent::toString ( ) const throw ()

Definition at line 116 of file AspFluent.cpp.

std::string actasp::AspFluent::toString ( unsigned int  timeStep) const throw ()

Definition at line 105 of file AspFluent.cpp.

std::string actasp::AspFluent::toString ( const std::string &  timeStepVar) const throw ()

Friends And Related Function Documentation

friend class ActionComparator [friend]

Definition at line 42 of file AspFluent.h.

friend class ActionEquality [friend]

Definition at line 43 of file AspFluent.h.


Member Data Documentation

std::string actasp::AspFluent::cachedBase [private]

Definition at line 40 of file AspFluent.h.

unsigned int actasp::AspFluent::timeStep [private]

Definition at line 39 of file AspFluent.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