83 const int n = m.
size();
84 const int n_d = (
n*
n-
n)/2;
90 for (
int k=0,
i=0;
i<
n-1;
i++)
91 for (
int j=
i+1; j<
n; j++, k++)
107 return m[m.
size()-1];
113 os <<
"\tm[" << m.
size() <<
"] = " << m << std::endl;
139 IntMinimizeScript::run<GolombRuler,BAB,SizeOptions>(
opt);
Options for scripts with additional size parameter
IntVarBranch INT_VAR_NONE(void)
Select first unassigned variable.
int size(void) const
Return size of array (number of elements)
virtual IntVar cost(void) const
Return cost.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
GolombRuler(const SizeOptions &opt)
Actual model.
Example: Finding optimal Golomb rulers
Parametric base-class for scripts.
void update(Space &, bool share, VarArray< Var > &a)
Update array to be a clone of array a.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
IntValBranch INT_VAL_MIN(void)
Select smallest value.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Passing integer variables.
IntVarArray m
Array for ruler marks.
void parse(int &argc, char *argv[])
Parse options from arguments argv (number is argc)
GolombRuler(bool share, GolombRuler &s)
Constructor for cloning s.
BoolVar expr(Home home, const BoolExpr &e, IntConLevel icl)
Post Boolean expression and return its value.
virtual Space * copy(bool share)
Copy during cloning.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
void distinct(Home home, const IntVarArgs &x, IntConLevel icl)
Post propagator for for all .
void solutions(unsigned int n)
Set default number of solutions to search for.
Bounds propagation or consistency.
Gecode toplevel namespace
BrancherHandle 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.
virtual void print(std::ostream &os) const
Print solution.
void icl(IntConLevel i)
Set default integer consistency level.
int main(int argc, char *argv[])
Main-function.