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().