#include <AspLaw.h>
Public Member Functions | |
AspLaw () | |
AspLaw & | operator<< (AtomType fluent) throw () |
bool | operator== (const AspLaw< AtomType > other) const throw () |
Public Attributes | |
std::vector< AtomType > | body |
std::vector< AtomType > | head |
actasp::AspLaw< AtomType >::AspLaw | ( | ) | [inline] |
AspLaw& actasp::AspLaw< AtomType >::operator<< | ( | AtomType | fluent | ) | throw () [inline] |
bool actasp::AspLaw< AtomType >::operator== | ( | const AspLaw< AtomType > | other | ) | const throw () [inline] |
std::vector<AtomType> actasp::AspLaw< AtomType >::body |
std::vector<AtomType> actasp::AspLaw< AtomType >::head |