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 Branch=3) |
Private Member Functions | |
void | createMainModule (std::ostream &oss) |
void | createLibraryModule (int idxModule, std::ostream &oss) |
Private Attributes | |
int | branch |
Definition at line 120 of file Module.cpp.
void TreeTopology::createLibraryModule | ( | int | idxModule, |
std::ostream & | oss | ||
) | [private, virtual] |
Reimplemented from BaseTopology.
Definition at line 701 of file Module.cpp.
References branch, BaseTopology::createModuleHeader(), BaseTopology::generateFacts(), BaseTopology::generateModuleCall(), BaseTopology::generateRules(), and BaseTopology::numModules.
void TreeTopology::createMainModule | ( | std::ostream & | oss | ) | [private, virtual] |
Reimplemented from BaseTopology.
Definition at line 678 of file Module.cpp.
References branch, BaseTopology::createModuleHeader(), BaseTopology::generateFacts(), BaseTopology::generateModuleCall(), BaseTopology::generateRules(), and BaseTopology::numModules.
void TreeTopology::setAll | ( | int | NumConstant, |
int | NumPredicate, | ||
int | SizeOfHead, | ||
int | SizeOfBody, | ||
int | NotProbability, | ||
int | NumRules, | ||
int | NumModules, | ||
std::string & | OutputFilePrefix, | ||
int | Branch = 3 |
||
) |
int TreeTopology::branch [private] |
Definition at line 123 of file Module.cpp.
Referenced by createLibraryModule(), createMainModule(), and setAll().