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