Home
last modified time | relevance | path

Searched defs:StopBrancher (Results 1 – 2 of 2) sorted by relevance

/dports/math/gecode/gecode-0916a1a/gecode/gist/
H A Dstopbrancher.cpp44 StopBrancher::StopBrancher(Home home) : Brancher(home), done(false) {} in StopBrancher() function in Gecode::Gist::StopBrancher
46 StopBrancher::StopBrancher(Space& home, StopBrancher& b) in StopBrancher() function in Gecode::Gist::StopBrancher
H A Dstopbrancher.hh49 class StopBrancher : public Brancher { class