dlvhex  2.5.0
Private Member Functions
DiamondTopology Class Reference
Inheritance diagram for DiamondTopology:
Inheritance graph
[legend]
Collaboration diagram for DiamondTopology:
Collaboration graph
[legend]

Private Member Functions

void createMainModule (std::ostream &oss)
void createLibraryModule (int idxModule, std::ostream &oss)

Detailed Description

Definition at line 101 of file Module.cpp.

Member Function Documentation

void DiamondTopology::createLibraryModule ( int  idxModule,
std::ostream &  oss 
) [private, virtual]

Reimplemented from BaseTopology.

Definition at line 557 of file Module.cpp.

References BaseTopology::createModuleHeader(), BaseTopology::generateFacts(), BaseTopology::generateModuleCall(), BaseTopology::generateRules(), and BaseTopology::numModules.

void DiamondTopology::createMainModule ( std::ostream &  oss) [private, virtual]

Reimplemented from BaseTopology.

Definition at line 532 of file Module.cpp.

References BaseTopology::createModuleHeader(), BaseTopology::generateFacts(), BaseTopology::generateModuleCall(), BaseTopology::generateRules(), and BaseTopology::numModules.

The documentation for this class was generated from the following file: