#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 |