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

Private Member Functions

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

Detailed Description

Definition at line 88 of file Module.cpp.

Member Function Documentation

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

Reimplemented from BaseTopology.

Definition at line 465 of file Module.cpp.

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

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

Reimplemented from BaseTopology.

Definition at line 449 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: