souffle
2.0.2-371-g6315b36
|
Go to the source code of this file.
Data Structures | |
class | SWIGSouffleProgram |
Abstract base class for generated Datalog programs. More... | |
Functions | |
SWIGSouffleProgram * | newInstance (const std::string &name) |
Creates an instance of a SWIG souffle::SouffleProgram that can be called within a program of a supported language for the SWIG option specified in main.cpp. More... | |
SWIGSouffleProgram* newInstance | ( | const std::string & | name | ) |
Creates an instance of a SWIG souffle::SouffleProgram that can be called within a program of a supported language for the SWIG option specified in main.cpp.
This enables the program to use this instance and call the supported souffle::SouffleProgram methods.
name | Name of the datalog file/ instance to be created |
Definition at line 88 of file SwigInterface.h.
References souffle::ProgramFactory::newInstance().