dlvhex
2.5.0
|
Public Member Functions | |
void | setAll (int NumConstant, int NumPredicate, int SizeOfHead, int SizeOfBody, int NotProbability, int NumRules, int NumModules, std::string &OutputFilePrefix, int Density=50) |
Private Member Functions | |
void | createMainModule (std::ostream &oss) |
void | createLibraryModule (int idxModule, std::ostream &oss) |
Private Attributes | |
int | density |
Definition at line 109 of file Module.cpp.
void RandomTopology::createLibraryModule | ( | int | idxModule, |
std::ostream & | oss | ||
) | [private, virtual] |
Reimplemented from BaseTopology.
Definition at line 631 of file Module.cpp.
References BaseTopology::createModuleHeader(), density, BaseTopology::generateFacts(), BaseTopology::generateModuleCall(), BaseTopology::generateRules(), and BaseTopology::numModules.
void RandomTopology::createMainModule | ( | std::ostream & | oss | ) | [private, virtual] |
Reimplemented from BaseTopology.
Definition at line 601 of file Module.cpp.
References BaseTopology::createModuleHeader(), density, BaseTopology::generateFacts(), BaseTopology::generateModuleCall(), BaseTopology::generateRules(), and BaseTopology::numModules.
void RandomTopology::setAll | ( | int | NumConstant, |
int | NumPredicate, | ||
int | SizeOfHead, | ||
int | SizeOfBody, | ||
int | NotProbability, | ||
int | NumRules, | ||
int | NumModules, | ||
std::string & | OutputFilePrefix, | ||
int | Density = 50 |
||
) |
int RandomTopology::density [private] |
Definition at line 112 of file Module.cpp.
Referenced by createLibraryModule(), createMainModule(), and setAll().