Home
last modified time | relevance | path

Searched refs:strategyFailed (Results 1 – 3 of 3) sorted by relevance

/dports/math/gecode/gecode-0916a1a/contribs/quacode/quacode/search/sequential/
H A Dqdfs.hh95 if (s) dynamic_cast<QSpaceInfo*>(s)->strategyFailed(); in QDFS()
111 if (s) dynamic_cast<QSpaceInfo*>(s)->strategyFailed(); in reset()
194 dynamic_cast<QSpaceInfo*>(failedSpace)->strategyFailed(); in next()
/dports/math/gecode/gecode-0916a1a/contribs/quacode/quacode/
H A Dqspaceinfo.hh558 void strategyFailed();
H A Dqspaceinfo.hpp651 QSpaceInfo::strategyFailed(void) { in strategyFailed() function in Gecode::QSpaceInfo