#include <AspAtom.h>
Public Member Functions | |
| unsigned int | arity () const throw () |
| AspAtom (const std::string &formula) throw () | |
| std::string | getName () const throw () |
| virtual std::vector< std::string > | getParameters () const throw () |
| virtual | operator std::string () const |
| virtual bool | operator< (const AspAtom &other) const throw () |
| virtual bool | operator== (const AspAtom &other) const throw () |
| virtual std::string | toString () const throw () |
| virtual | ~AspAtom () |
Private Attributes | |
| std::string | atom |
| actasp::AspAtom::AspAtom | ( | const std::string & | formula | ) | throw () |
Definition at line 7 of file AspAtom.cpp.
| virtual actasp::AspAtom::~AspAtom | ( | ) | [inline, virtual] |
| unsigned int actasp::AspAtom::arity | ( | ) | const throw () |
Definition at line 10 of file AspAtom.cpp.
| std::string actasp::AspAtom::getName | ( | ) | const throw () |
Definition at line 14 of file AspAtom.cpp.
| std::vector< std::string > actasp::AspAtom::getParameters | ( | ) | const throw () [virtual] |
Definition at line 18 of file AspAtom.cpp.
| virtual actasp::AspAtom::operator std::string | ( | ) | const [inline, virtual] |
| virtual bool actasp::AspAtom::operator< | ( | const AspAtom & | other | ) | const throw () [inline, virtual] |
| virtual bool actasp::AspAtom::operator== | ( | const AspAtom & | other | ) | const throw () [inline, virtual] |
| virtual std::string actasp::AspAtom::toString | ( | ) | const throw () [inline, virtual] |
std::string actasp::AspAtom::atom [private] |