Public Member Functions | Public Attributes
actasp::AspLaw< AtomType > Struct Template Reference

#include <AspLaw.h>

List of all members.

Public Member Functions

 AspLaw ()
AspLawoperator<< (AtomType fluent) throw ()
bool operator== (const AspLaw< AtomType > other) const throw ()

Public Attributes

std::vector< AtomType > body
std::vector< AtomType > head

Detailed Description

template<typename AtomType>
struct actasp::AspLaw< AtomType >

Definition at line 10 of file AspLaw.h.


Constructor & Destructor Documentation

template<typename AtomType>
actasp::AspLaw< AtomType >::AspLaw ( ) [inline]

Definition at line 12 of file AspLaw.h.


Member Function Documentation

template<typename AtomType>
AspLaw& actasp::AspLaw< AtomType >::operator<< ( AtomType  fluent) throw () [inline]

Definition at line 15 of file AspLaw.h.

template<typename AtomType>
bool actasp::AspLaw< AtomType >::operator== ( const AspLaw< AtomType >  other) const throw () [inline]

Definition at line 20 of file AspLaw.h.


Member Data Documentation

template<typename AtomType>
std::vector<AtomType> actasp::AspLaw< AtomType >::body

Definition at line 50 of file AspLaw.h.

template<typename AtomType>
std::vector<AtomType> actasp::AspLaw< AtomType >::head

Definition at line 49 of file AspLaw.h.


The documentation for this struct was generated from the following file:


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37