|
souffle
2.0.2-371-g6315b36
|
Abstract base class for generated Datalog programs. More...
#include <SwigInterface.h>

Public Member Functions | |
| void | dumpInputs () |
| Calls the corresponding method souffle::SouffleProgram::dumpInputs in SouffleInterface.h. More... | |
| void | dumpOutputs () |
| Calls the corresponding method souffle::SouffleProgram::dumpOutputs in SouffleInterface.h. More... | |
| void | loadAll (const std::string &inputDirectory) |
| Calls the corresponding method souffle::SouffleProgram::loadAll in SouffleInterface.h. More... | |
| void | printAll (const std::string &outputDirectory) |
| Calls the corresponding method souffle::SouffleProgram::printAll in SouffleInterface.h. More... | |
| void | run () |
| Calls the corresponding method souffle::SouffleProgram::run in SouffleInterface.h. More... | |
| void | runAll (const std::string &inputDirectory, const std::string &outputDirectory) |
| Calls the corresponding method souffle::SouffleProgram::runAll in SouffleInterface.h. More... | |
| SWIGSouffleProgram (souffle::SouffleProgram *program) | |
| virtual | ~SWIGSouffleProgram () |
Private Attributes | |
| souffle::SouffleProgram * | program |
| pointer to SouffleProgram to invoke functions from SouffleInterface.h More... | |
Abstract base class for generated Datalog programs.
Definition at line 26 of file SwigInterface.h.
|
inline |
Definition at line 39 of file SwigInterface.h.
|
inlinevirtual |
Definition at line 41 of file SwigInterface.h.
References program, and souffle::SouffleProgram::run().

|
inline |
Calls the corresponding method souffle::SouffleProgram::dumpInputs in SouffleInterface.h.
Definition at line 76 of file SwigInterface.h.
References souffle::SouffleProgram::dumpOutputs(), and program.

|
inline |
Calls the corresponding method souffle::SouffleProgram::dumpOutputs in SouffleInterface.h.
Definition at line 83 of file SwigInterface.h.
|
inline |
Calls the corresponding method souffle::SouffleProgram::loadAll in SouffleInterface.h.
Definition at line 62 of file SwigInterface.h.
References souffle::SouffleProgram::printAll(), and program.

|
inline |
Calls the corresponding method souffle::SouffleProgram::printAll in SouffleInterface.h.
Definition at line 69 of file SwigInterface.h.
References souffle::SouffleProgram::dumpInputs(), and program.

|
inline |
Calls the corresponding method souffle::SouffleProgram::run in SouffleInterface.h.
Definition at line 48 of file SwigInterface.h.
References program, and souffle::SouffleProgram::runAll().

|
inline |
Calls the corresponding method souffle::SouffleProgram::runAll in SouffleInterface.h.
Definition at line 55 of file SwigInterface.h.
References souffle::SouffleProgram::loadAll(), and program.

|
private |
pointer to SouffleProgram to invoke functions from SouffleInterface.h
Definition at line 36 of file SwigInterface.h.
Referenced by dumpInputs(), loadAll(), printAll(), run(), runAll(), and ~SWIGSouffleProgram().
1.8.17