dlvhex
2.5.0
|
Private Member Functions | |
void | createMainModule (std::ostream &oss) |
void | createLibraryModule (int idxModule, std::ostream &oss) |
Definition at line 81 of file Module.cpp.
void StarTopology::createLibraryModule | ( | int | idxModule, |
std::ostream & | oss | ||
) | [private, virtual] |
Reimplemented from BaseTopology.
Definition at line 425 of file Module.cpp.
References BaseTopology::createModuleHeader(), BaseTopology::generateFacts(), BaseTopology::generateModuleCall(), and BaseTopology::generateRules().
void StarTopology::createMainModule | ( | std::ostream & | oss | ) | [private, virtual] |
Reimplemented from BaseTopology.
Definition at line 404 of file Module.cpp.
References BaseTopology::createModuleHeader(), BaseTopology::generateFacts(), BaseTopology::generateModuleCall(), BaseTopology::generateRules(), and BaseTopology::numModules.