branch.cc
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 #include "gecode/set/branch.hh"
00029
00030 namespace Gecode {
00031
00032 using namespace Set;
00033
00034 void
00035 branch(Space* home, const SetVarArgs& xa, SetBvarSel vars, SetBvalSel vals) {
00036 if (home->failed()) return;
00037 ViewArray<SetView> x(home,xa);
00038 switch (vars) {
00039 case SETBVAR_NONE:
00040 Branch::create<Branch::ByNone>(home,x,vals); break;
00041 case SETBVAR_MIN_CARD:
00042 Branch::create<Branch::ByMinCard>(home,x,vals); break;
00043 case SETBVAR_MAX_CARD:
00044 Branch::create<Branch::ByMaxCard>(home,x,vals); break;
00045 case SETBVAR_MIN_UNKNOWN_ELEM:
00046 Branch::create<Branch::ByMinUnknown>(home,x,vals); break;
00047 case SETBVAR_MAX_UNKNOWN_ELEM:
00048 Branch::create<Branch::ByMaxUnknown>(home,x,vals); break;
00049 default:
00050 throw UnknownBranching("Set::branch");
00051 }
00052 }
00053
00054 }
00055
00056
00057