78 const int n =
x.size();
81 for (
int i=0;
i<
n-1;
i++)
108 const int n =
x.size();
109 os <<
"\tx[" <<
n <<
"] = {";
110 for (
int i = 0;
i <
n-1;
i++)
111 os <<
x[
i] <<
"(" <<
d[
i] <<
"),";
112 os <<
x[
n-1] <<
"}" << std::endl;
127 if (
opt.size() < 2) {
128 std::cerr <<
"size must be at least 2!" << std::endl;
131 Script::run<AllInterval,DFS,SizeOptions>(
opt);
Options for scripts with additional size parameter
virtual Space * copy(bool share)
Copy during cloning.
void branch(Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf, FloatVarValPrint vvp)
Branch over x with variable selection vars and value selection vals.
AllInterval(bool share, AllInterval &s)
Constructor for cloning e.
void update(Space &home, bool share, VarImpVar< VarImp > &y)
Update this variable to be a clone of variable y.
void abs(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
int main(int argc, char *argv[])
Main-function.
void ipl(IntPropLevel i)
Set default integer propagation level.
Parametric base-class for scripts.
void iterations(unsigned int i)
Set default number of iterations.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
unsigned int size(I &i)
Size of all ranges of range iterator i.
void distinct(Home home, const IntVarArgs &x, IntPropLevel ipl)
Post propagator for for all .
void parse(int &argc, char *argv[])
Parse options from arguments argv (number is argc)
void update(Space &home, bool share, SharedHandle &sh)
Updating during cloning.
IntVarBranch INT_VAR_SIZE_MIN(BranchTbl tbl)
Select variable with smallest domain size.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Post propagator for SetVar x
IntValBranch INT_VAL_SPLIT_MIN(void)
Select values not greater than mean of smallest and largest value.
Gecode toplevel namespace
Example: All-interval series
AllInterval(const SizeOptions &opt)
Actual model.
virtual void print(std::ostream &os) const
Print solution.