#include <logic_program_types.h>
Inheritance diagram for Clasp::Asp::RuleTransform::AdaptBuilder:
Public Member Functions | |
| AdaptBuilder (LogicProgram &p) | |
| void | addRule (Rule &rule) |
| Var | newAtom () |
Public Attributes | |
| LogicProgram * | prg_ |
Detailed Description
Definition at line 199 of file logic_program_types.h.
Constructor & Destructor Documentation
| Clasp::Asp::RuleTransform::AdaptBuilder::AdaptBuilder | ( | LogicProgram & | p | ) | [inline] |
Definition at line 200 of file logic_program_types.h.
Member Function Documentation
| void Clasp::Asp::RuleTransform::AdaptBuilder::addRule | ( | Rule & | rule | ) | [virtual] |
Implements Clasp::Asp::RuleTransform::ProgramAdapter.
Definition at line 91 of file logic_program_types.cpp.
| Var Clasp::Asp::RuleTransform::AdaptBuilder::newAtom | ( | ) | [virtual] |
Implements Clasp::Asp::RuleTransform::ProgramAdapter.
Definition at line 88 of file logic_program_types.cpp.
Member Data Documentation
Definition at line 203 of file logic_program_types.h.
The documentation for this struct was generated from the following files: