stopbrancher.cpp
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 #include <gecode/gist/stopbrancher.hh>
00039
00040 namespace Gecode { namespace Gist {
00041
00042 StopChoice::StopChoice(const Brancher& b) : Choice(b,1) {}
00043 size_t
00044 StopChoice::size(void) const {
00045 return sizeof(StopChoice);
00046 }
00047 void
00048 StopChoice::archive(Archive& e) const {
00049 Choice::archive(e);
00050 }
00051
00052 StopBrancher::StopBrancher(Home home) : Brancher(home), done(false) {}
00053
00054 StopBrancher::StopBrancher(Space& home, bool share, StopBrancher& b)
00055 : Brancher(home, share, b), done(b.done) {}
00056
00057 bool
00058 StopBrancher::status(const Space&) const {
00059 return !done;
00060 }
00061
00062 Choice*
00063 StopBrancher::choice(Space&) {
00064 return new StopChoice(*this);
00065 }
00066 Choice*
00067 StopBrancher::choice(const Space&, Archive&) {
00068 return new StopChoice(*this);
00069 }
00070 ExecStatus
00071 StopBrancher::commit(Space&, const Choice&, unsigned int) {
00072 done = true;
00073 return ES_OK;
00074 }
00075
00076 void
00077 StopBrancher::print(const Space&, const Gecode::Choice&,
00078 unsigned int, std::ostream&) const {
00079 }
00080
00081 Actor*
00082 StopBrancher::copy(Space& home, bool share) {
00083 return new (home) StopBrancher(home, share, *this);
00084 }
00085 void
00086 StopBrancher::post(Home home) {
00087 (void) new (home) StopBrancher(home);
00088 }
00089 size_t
00090 StopBrancher::dispose(Space&) {
00091 return sizeof(*this);
00092 }
00093
00094 }}
00095
00096