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:

• AspFluent.h
• AspFluent.cpp