Public Member Functions | Private Attributes
actasp::AspAtom Class Reference

#include <AspAtom.h>

List of all members.

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

Detailed Description

Definition at line 11 of file AspAtom.h.


Constructor & Destructor Documentation

actasp::AspAtom::AspAtom ( const std::string &  formula) throw ()

Definition at line 7 of file AspAtom.cpp.

virtual actasp::AspAtom::~AspAtom ( ) [inline, virtual]

Definition at line 29 of file AspAtom.h.


Member Function Documentation

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]

Definition at line 27 of file AspAtom.h.

virtual bool actasp::AspAtom::operator< ( const AspAtom other) const throw () [inline, virtual]

Definition at line 22 of file AspAtom.h.

virtual bool actasp::AspAtom::operator== ( const AspAtom other) const throw () [inline, virtual]

Definition at line 23 of file AspAtom.h.

virtual std::string actasp::AspAtom::toString ( ) const throw () [inline, virtual]

Definition at line 25 of file AspAtom.h.


Member Data Documentation

std::string actasp::AspAtom::atom [private]

Definition at line 32 of file AspAtom.h.


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


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Fri Aug 28 2015 10:14:46