MCPcopy Create free account
hub / github.com/Gecode/gecode / explore

Function explore

gecode/gist/gist.cpp:101–124  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

99 const Options Options::def;
100
101 int
102 explore(Space* root, bool bab, const Options& opt) {
103
104#ifdef _MSC_VER
105 // Set the plugin search path on Windows when in default installation
106 if (char* gd = getenv("GECODEDIR")) {
107 unsigned int gdl = static_cast<unsigned int>(strlen(gd) + 32U);
108 char* gdb = heap.alloc<char>(gdl);
109 strcpy(gdb, gd);
110 strcat(gdb, "/bin/");
111 QCoreApplication::addLibraryPath(gdb);
112 heap.free(gdb,gdl);
113 }
114#endif
115
116 char argv0='\0'; char* argv1=&argv0;
117 int argc=0;
118
119
120 QApplication app(argc, &argv1);
121
122 GistMainWindow mw(root, bab, opt);
123 return app.exec();
124 }
125
126 void
127 stopBranch(Space& home) {

Callers 10

exploreMethod · 0.85
exploreMethod · 0.85
exploreMethod · 0.85
exploreMethod · 0.85
exploreMethod · 0.85
exploreMethod · 0.85
runMetaMethod · 0.85
dfsFunction · 0.85
babFunction · 0.85
runMetaMethod · 0.85

Calls 2

execMethod · 0.80
freeMethod · 0.45

Tested by

no test coverage detected