74 const int n =
x.size();
77 for (
int i=0;
i<
n-1;
i++)
104 const int n =
x.size();
105 os <<
"\tx[" <<
n <<
"] = {";
106 for (
int i = 0;
i <
n-1;
i++)
107 os <<
x[
i] <<
"(" << d[
i] <<
"),";
108 os <<
x[
n-1] <<
"}" << std::endl;
123 if (
opt.size() < 2) {
124 std::cerr <<
"size must be at least 2!" << std::endl;
127 Script::run<AllInterval,DFS,SizeOptions>(
opt);
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Example: All-interval series
AllInterval(AllInterval &s)
Constructor for cloning e.
int main(int argc, char *argv[])
Main-function.
virtual void print(std::ostream &os) const
Print solution.
virtual Space * copy(void)
Copy during cloning.
AllInterval(const SizeOptions &opt)
Actual model.
Parametric base-class for scripts.
Options for scripts with additional size parameter
void parse(int argc, char *argv[])
Parse commandline arguments.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
@ IPL_BND
Bounds propagation.
void branch(Home home, const IntVarArgs &x, const BoolVarArgs &y, IntBoolVarBranch vars, IntValBranch vals)
Branch function for integer and Boolean variables.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode toplevel namespace
IntValBranch INT_VAL_SPLIT_MIN(void)
Select values not greater than mean of smallest and largest value.
void distinct(Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF)
Post propagator for for all .
void abs(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
IntVarBranch INT_VAR_SIZE_MIN(BranchTbl tbl=nullptr)
Select variable with smallest domain size.
Gecode::IntArgs i({1, 2, 3, 4})