#include <logic_program_types.h>
Inheritance diagram for Clasp::Asp::RuleTransform::ProgramAdapter:
Public Member Functions | |
| virtual void | addRule (Rule &rule)=0 |
| virtual Var | newAtom ()=0 |
Protected Member Functions | |
| ~ProgramAdapter () | |
Detailed Description
Definition at line 194 of file logic_program_types.h.
Constructor & Destructor Documentation
| Clasp::Asp::RuleTransform::ProgramAdapter::~ProgramAdapter | ( | ) | [inline, protected] |
Definition at line 197 of file logic_program_types.h.
Member Function Documentation
| virtual void Clasp::Asp::RuleTransform::ProgramAdapter::addRule | ( | Rule & | rule | ) | [pure virtual] |
Implemented in Clasp::Asp::RuleTransform::AdaptBuilder.
| virtual Var Clasp::Asp::RuleTransform::ProgramAdapter::newAtom | ( | ) | [pure virtual] |
Implemented in Clasp::Asp::RuleTransform::AdaptBuilder.
The documentation for this struct was generated from the following file: