Generated on Thu Mar 6 14:51:55 2008 for Gecode/J by doxygen 1.5.4
org.gecode.Gecode

org.gecode.Gecode Class Reference

List of all members.

Detailed Description

Definition at line 11 of file Gecode.java.


Static Public Member Functions

static void post (JavaSpace home, Expr e1, IntRelType irt, int d)
 Post propagator for the linear expression e1 irt d.
static void post (JavaSpace home, Expr e1, IntRelType irt, int d, IntConLevel cl)
 Post propagator for the linear expression e1 irt d.
static void post (JavaSpace home, Expr e1, IntRelType irt, IntVar v)
 Post propagator for the linear expression e1 irt v.
static void post (JavaSpace home, Expr e1, IntRelType irt, IntVar v, IntConLevel cl)
 Post propagator for the linear expression e1 irt v.
static void post (JavaSpace home, Expr e1, IntRelType irt, Expr e2)
 Post propagator for the linear expression e1 irt e2.
static void post (JavaSpace home, Expr e1, IntRelType irt, Expr e2, IntConLevel cl)
 Post propagator for the linear expression e1 irt e2.
static void post (JavaSpace home, Expr e1, IntRelType irt, Expr e2, BoolVar b)
 Post propagator for the reified linear expression (e1 irt e2) <=> b .
static void post (JavaSpace home, Expr e1, IntRelType irt, Expr e2, BoolVar b, IntConLevel cl)
 Post propagator for the reified linear expression (e1 irt e2) <=> b .
static void post (JavaSpace home, BExpr be, boolean val)
 Post propagator that the boolean expression be should be equal to val.
static void post (JavaSpace home, BExpr be)
 Post propagator that the boolean expression be should hold.
static void channel (JavaSpace home, VarArray<?extends IntVar > x, VarArray<?extends GecodeVar > y)
static void rel (JavaSpace home, SetOpType op, VarArray<?extends GecodeVar > x, SetVar y)
static void linear (JavaSpace home, IntVar a, IntVar b, IntRelType rel, IntVar c)
 Post propagator for the linear equation a+b rel c.
static void linear (JavaSpace home, int ca, IntVar a, int cb, IntVar b, int cc, IntVar c, IntRelType rel, int d)
 Post propagator for the linear equation ca*a + cb*b + cc*c rel d.
static void linear (JavaSpace home, int ca, IntVar a, int cb, IntVar b, IntRelType rel, int d)
 Post propagator for the linear equation ca*a + cb*b rel d.
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, int c, IntConLevel icl)
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, int c)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, int c, BoolVar b, IntConLevel icl)
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, BoolVar b, int c)
 Post propagator for $b\Leftrightarrow(\sum_{i=0}^{|x|-1}x_i\sim_r c)$.
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, int c, IntConLevel icl)
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, int c)
 Post propagator for $\sum_{i=0}^{|x|-1}a_i x_i\sim_r c$.
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, int c, BoolVar b, IntConLevel icl)
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, int c, BoolVar b)
 Post propagator for $b\Leftrightarrow(\sum_{i=0}^{|x|-1}a_i x_i\sim_r c)$.
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, IntConLevel icl)
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl)
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, BoolVar b)
 Post propagator for $b\Leftrightarrow(\sum_{i=0}^{|x|-1}x_i\sim_r y)$.
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, IntConLevel icl)
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y)
 Post propagator for $\sum_{i=0}^{|x|-1}a_i x_i\sim_r y$.
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl)
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, BoolVar b)
 Post propagator for $b\Leftrightarrow(\sum_{i=0}^{|x|-1}a_i x_i\sim_r y)$.
static long getDefault_c_d ()
 Default distance for number of commits before creating a clone.
static long getDefault_a_d ()
 Default minimum distance for creating a clone during recomputation.
static void addPropagator (JavaSpace home, JavaPropagator prop)
 Add propagator prop to space home.
static void addBranching (JavaSpace home, JavaBranching b)
 Add branching b to space home.
static synchronized void dom (JavaSpace home, IntVar x, int l, int m, IntConLevel arg4)
 Propagates $ l\leq x\leq m$.
static synchronized void dom (JavaSpace home, IntVar x, int l, int m)
 Propagates $ l\leq x\leq m$.
static synchronized void dom (JavaSpace home, VarArray<?extends IntVar > x, int l, int m, IntConLevel arg4)
 Propagates $ l\leq x_i\leq m$ for all $0\leq i<|x|$.
static synchronized void dom (JavaSpace home, VarArray<?extends IntVar > x, int l, int m)
 Propagates $ l\leq x_i\leq m$ for all $0\leq i<|x|$.
static synchronized void dom (JavaSpace home, IntVar x, IntSet s, IntConLevel arg3)
 Propagates $ x\in s $.
static synchronized void dom (JavaSpace home, IntVar x, IntSet s)
 Propagates $ x\in s $.
static synchronized void dom (JavaSpace home, VarArray<?extends IntVar > x, IntSet s, IntConLevel arg3)
 Propagates $ x_i\in s$ for all $0\leq i<|x|$.
static synchronized void dom (JavaSpace home, VarArray<?extends IntVar > x, IntSet s)
 Propagates $ x_i\in s$ for all $0\leq i<|x|$.
static synchronized void dom (JavaSpace home, IntVar x, int l, int m, BoolVar b, IntConLevel arg5)
 Post propagator for $ (l\leq x \leq m) \Leftrightarrow b$.
static synchronized void dom (JavaSpace home, IntVar x, int l, int m, BoolVar b)
 Post propagator for $ (l\leq x \leq m) \Leftrightarrow b$.
static synchronized void dom (JavaSpace home, IntVar x, IntSet s, BoolVar b, IntConLevel arg4)
 Post propagator for $ (x \in s) \Leftrightarrow b$.
static synchronized void dom (JavaSpace home, IntVar x, IntSet s, BoolVar b)
 Post propagator for $ (x \in s) \Leftrightarrow b$.
static synchronized void rel (JavaSpace home, IntVar x0, IntRelType r, IntVar x1, IntConLevel icl)
 Post propagator for $ x_0 \sim_r x_1$.
static synchronized void rel (JavaSpace home, IntVar x0, IntRelType r, IntVar x1)
 Post propagator for $ x_0 \sim_r x_1$.
static synchronized void rel (JavaSpace home, IntVar x, IntRelType r, int c, IntConLevel icl)
 Propagates $ x \sim_r c$.
static synchronized void rel (JavaSpace home, IntVar x, IntRelType r, int c)
 Propagates $ x \sim_r c$.
static synchronized void rel (JavaSpace home, IntVar x0, IntRelType r, IntVar x1, BoolVar b, IntConLevel icl)
 Post propagator for $ (x_0 \sim_r x_1)\Leftrightarrow b$.
static synchronized void rel (JavaSpace home, IntVar x0, IntRelType r, IntVar x1, BoolVar b)
 Post propagator for $ (x_0 \sim_r x_1)\Leftrightarrow b$.
static synchronized void rel (JavaSpace home, IntVar x, IntRelType r, int c, BoolVar b, IntConLevel icl)
 Post propagator for $(x \sim_r c)\Leftrightarrow b$.
static synchronized void rel (JavaSpace home, IntVar x, IntRelType r, int c, BoolVar b)
 Post propagator for $(x \sim_r c)\Leftrightarrow b$.
static synchronized void rel (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, VarArray<?extends IntVar > y, IntConLevel icl)
 Post propagator for relation between x and y.
static synchronized void rel (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, VarArray<?extends IntVar > y)
 Post propagator for relation between x and y.
static synchronized void element (JavaSpace home, int[] n, IntVar x0, IntVar x1, IntConLevel arg4)
 Post propagator for $ n_{x_0}=x_1$.
static synchronized void element (JavaSpace home, int[] n, IntVar x0, IntVar x1)
 Post propagator for $ n_{x_0}=x_1$.
static synchronized void element (JavaSpace home, VarArray<?extends IntVar > x, IntVar y0, IntVar y1, IntConLevel icl)
 Post propagator for $ x_{y_0}=y_1$.
static synchronized void element (JavaSpace home, VarArray<?extends IntVar > x, IntVar y0, IntVar y1)
 Post propagator for $ x_{y_0}=y_1$.
static synchronized void distinct (JavaSpace home, VarArray<?extends IntVar > x, IntConLevel icl)
 Post propagator for $ x_i\neq x_j$ for all $0\leq i\neq j<|x|$.
static synchronized void distinct (JavaSpace home, VarArray<?extends IntVar > x)
 Post propagator for $ x_i\neq x_j$ for all $0\leq i\neq j<|x|$.
static synchronized void distinct (JavaSpace home, int[] n, VarArray<?extends IntVar > x, IntConLevel icl)
 Post propagator for $ x_i+n_i\neq x_j+n_j$ for all $0\leq i\neq j<|x|$.
static synchronized void distinct (JavaSpace home, int[] n, VarArray<?extends IntVar > x)
 Post propagator for $ x_i+n_i\neq x_j+n_j$ for all $0\leq i\neq j<|x|$.
static synchronized void channel_int (JavaSpace home, VarArray<?extends IntVar > x, VarArray<?extends IntVar > y, IntConLevel icl, PropKind pk)
 rief Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$
static synchronized void channel_int (JavaSpace home, VarArray<?extends IntVar > x, VarArray<?extends IntVar > y, IntConLevel icl)
 rief Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$
static synchronized void channel_int (JavaSpace home, VarArray<?extends IntVar > x, VarArray<?extends IntVar > y)
 rief Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$
static synchronized void channel (JavaSpace home, BoolVar x0, IntVar x1, IntConLevel icl, PropKind pk)
 Post propagator for channeling a Boolean and an integer variable $ x_0 = x_1$.
static synchronized void channel (JavaSpace home, BoolVar x0, IntVar x1, IntConLevel icl)
 Post propagator for channeling a Boolean and an integer variable $ x_0 = x_1$.
static synchronized void channel (JavaSpace home, BoolVar x0, IntVar x1)
 Post propagator for channeling a Boolean and an integer variable $ x_0 = x_1$.
static synchronized void channel (JavaSpace home, IntVar x0, BoolVar x1, IntConLevel icl, PropKind pk)
 Post propagator for channeling an integer and a Boolean variable $ x_0 = x_1$.
static synchronized void channel (JavaSpace home, IntVar x0, BoolVar x1, IntConLevel icl)
 Post propagator for channeling an integer and a Boolean variable $ x_0 = x_1$.
static synchronized void channel (JavaSpace home, IntVar x0, BoolVar x1)
 Post propagator for channeling an integer and a Boolean variable $ x_0 = x_1$.
static synchronized void channel (JavaSpace home, VarArray<?extends BoolVar > x, IntVar y, int o, IntConLevel icl, PropKind pk)
 Post propagator for channeling Boolean and integer variables $ x_i = 1\leftrightarrow y=i+o$.
static synchronized void channel (JavaSpace home, VarArray<?extends BoolVar > x, IntVar y, int o, IntConLevel icl)
 Post propagator for channeling Boolean and integer variables $ x_i = 1\leftrightarrow y=i+o$.
static synchronized void channel (JavaSpace home, VarArray<?extends BoolVar > x, IntVar y, int o)
 Post propagator for channeling Boolean and integer variables $ x_i = 1\leftrightarrow y=i+o$.
static synchronized void channel (JavaSpace home, VarArray<?extends BoolVar > x, IntVar y)
 Post propagator for channeling Boolean and integer variables $ x_i = 1\leftrightarrow y=i+o$.
static synchronized void cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, VarArray<?extends IntVar > height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, VarArray<?extends IntVar > duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, VarArray<?extends IntVar > machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most, IntConLevel icl)
 Post propagators for the cumulatives constraint.
static synchronized void cumulatives (JavaSpace home, int[] machine, VarArray<?extends IntVar > start, int[] duration, VarArray<?extends IntVar > end, int[] height, int[] limit, boolean at_most)
 Post propagators for the cumulatives constraint.
static void extensional (JavaSpace home, VarArray<?extends IntVar > x, REG r)
 Post propagator for extensional constraint.
static void extensional (JavaSpace home, VarArray<?extends IntVar > x, REG r, IntConLevel cl)
 Post propagator for extensional constraint.
static synchronized void extensional (JavaSpace home, VarArray<?extends IntVar > x, TupleSet t, IntConLevel icl, PropKind pk)
 Post propagator for $x\in T$.
static synchronized void extensional (JavaSpace home, VarArray<?extends IntVar > x, TupleSet t, IntConLevel icl)
 Post propagator for $x\in T$.
static synchronized void extensional (JavaSpace home, VarArray<?extends IntVar > x, TupleSet t)
 Post propagator for $x\in T$.
static synchronized void count (JavaSpace home, VarArray<?extends IntVar > x, int n, IntRelType r, int m, IntConLevel icl)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\sim_r m$.
static synchronized void count (JavaSpace home, VarArray<?extends IntVar > x, int n, IntRelType r, int m)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\sim_r m$.
static synchronized void count (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntRelType r, int m, IntConLevel icl)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\sim_r m$.
static synchronized void count (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntRelType r, int m)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\sim_r m$.
static synchronized void count (JavaSpace home, VarArray<?extends IntVar > x, int n, IntRelType r, IntVar z, IntConLevel icl)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\sim_r z$.
static synchronized void count (JavaSpace home, VarArray<?extends IntVar > x, int n, IntRelType r, IntVar z)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\sim_r z$.
static synchronized void count (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntRelType r, IntVar z, IntConLevel icl)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\sim_r z$.
static synchronized void count (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntRelType r, IntVar z)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\sim_r z$.
static synchronized void rel (JavaSpace home, BoolVar x0, IntRelType r, BoolVar x1, IntConLevel icl, PropKind pk)
 Post propagator for $ x_0 \sim_r x_1$.
static synchronized void rel (JavaSpace home, BoolVar x0, IntRelType r, BoolVar x1, IntConLevel icl)
 Post propagator for $ x_0 \sim_r x_1$.
static synchronized void rel (JavaSpace home, BoolVar x0, IntRelType r, BoolVar x1)
 Post propagator for $ x_0 \sim_r x_1$.
static synchronized void rel (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, BoolVar y, IntConLevel icl, PropKind pk)
 Post propagator for $ x_i \sim_r y $ for all $0\leq i<|x|$.
static synchronized void rel (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, BoolVar y, IntConLevel icl)
 Post propagator for $ x_i \sim_r y $ for all $0\leq i<|x|$.
static synchronized void rel (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, BoolVar y)
 Post propagator for $ x_i \sim_r y $ for all $0\leq i<|x|$.
static synchronized void rel (JavaSpace home, BoolVar x, IntRelType r, int n, IntConLevel icl, PropKind pk)
 rief Propagates $ x \sim_r n$
static synchronized void rel (JavaSpace home, BoolVar x, IntRelType r, int n, IntConLevel icl)
 rief Propagates $ x \sim_r n$
static synchronized void rel (JavaSpace home, BoolVar x, IntRelType r, int n)
 rief Propagates $ x \sim_r n$
static synchronized void rel (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, int n, IntConLevel icl, PropKind pk)
 rief Propagates $ x_i \sim_r n $ for all $0\leq i<|x|$
static synchronized void rel (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, int n, IntConLevel icl)
 rief Propagates $ x_i \sim_r n $ for all $0\leq i<|x|$
static synchronized void rel (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, int n)
 rief Propagates $ x_i \sim_r n $ for all $0\leq i<|x|$
static synchronized void relB (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, VarArray<?extends BoolVar > y, IntConLevel icl, PropKind pk)
 rief Post propagator for relation between x and y.
static synchronized void relB (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, VarArray<?extends BoolVar > y, IntConLevel icl)
 rief Post propagator for relation between x and y.
static synchronized void relB (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, VarArray<?extends BoolVar > y)
 rief Post propagator for relation between x and y.
static synchronized void rel (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, IntConLevel icl, PropKind pk)
 rief Post propagator for pairwise relation on x.
static synchronized void rel (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, IntConLevel icl)
 rief Post propagator for pairwise relation on x.
static synchronized void rel (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r)
 rief Post propagator for pairwise relation on x.
static synchronized void rel (JavaSpace home, BoolVar x0, BoolOpType o, BoolVar x1, BoolVar x2, IntConLevel icl, PropKind pk)
 rief Post propagator for Boolean operation on x0 and x1
static synchronized void rel (JavaSpace home, BoolVar x0, BoolOpType o, BoolVar x1, BoolVar x2, IntConLevel icl)
 rief Post propagator for Boolean operation on x0 and x1
static synchronized void rel (JavaSpace home, BoolVar x0, BoolOpType o, BoolVar x1, BoolVar x2)
 rief Post propagator for Boolean operation on x0 and x1
static synchronized void rel (JavaSpace home, BoolVar x0, BoolOpType o, BoolVar x1, int n, IntConLevel icl, PropKind pk)
 rief Post propagator for Boolean operation on x0 and x1
static synchronized void rel (JavaSpace home, BoolVar x0, BoolOpType o, BoolVar x1, int n, IntConLevel icl)
 rief Post propagator for Boolean operation on x0 and x1
static synchronized void rel (JavaSpace home, BoolVar x0, BoolOpType o, BoolVar x1, int n)
 rief Post propagator for Boolean operation on x0 and x1
static synchronized void rel (JavaSpace home, BoolOpType o, VarArray<?extends BoolVar > x, BoolVar y, IntConLevel icl, PropKind pk)
 rief Post propagator for Boolean operation on x
static synchronized void rel (JavaSpace home, BoolOpType o, VarArray<?extends BoolVar > x, BoolVar y, IntConLevel icl)
 rief Post propagator for Boolean operation on x
static synchronized void rel (JavaSpace home, BoolOpType o, VarArray<?extends BoolVar > x, BoolVar y)
 rief Post propagator for Boolean operation on x
static synchronized void rel (JavaSpace home, BoolOpType o, VarArray<?extends BoolVar > x, int n, IntConLevel icl, PropKind pk)
 rief Post propagator for Boolean operation on x
static synchronized void rel (JavaSpace home, BoolOpType o, VarArray<?extends BoolVar > x, int n, IntConLevel icl)
 rief Post propagator for Boolean operation on x
static synchronized void rel (JavaSpace home, BoolOpType o, VarArray<?extends BoolVar > x, int n)
 rief Post propagator for Boolean operation on x
static synchronized void min (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4, PropKind pk)
 Post propagator for $ \min\{x_0,x_1\}=x_2$.
static synchronized void min (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4)
 Post propagator for $ \min\{x_0,x_1\}=x_2$.
static synchronized void min (JavaSpace home, IntVar x0, IntVar x1, IntVar x2)
 Post propagator for $ \min\{x_0,x_1\}=x_2$.
static synchronized void min (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntConLevel arg3, PropKind pk)
 Post propagator for $ \min x=y$.
static synchronized void min (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntConLevel arg3)
 Post propagator for $ \min x=y$.
static synchronized void min (JavaSpace home, VarArray<?extends IntVar > x, IntVar y)
 Post propagator for $ \min x=y$.
static synchronized void max (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4, PropKind pk)
 Post propagator for $ \max\{x_0,x_1\}=x_2$.
static synchronized void max (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4)
 Post propagator for $ \max\{x_0,x_1\}=x_2$.
static synchronized void max (JavaSpace home, IntVar x0, IntVar x1, IntVar x2)
 Post propagator for $ \max\{x_0,x_1\}=x_2$.
static synchronized void max (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntConLevel arg3, PropKind pk)
 Post propagator for $ \max x=y$.
static synchronized void max (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntConLevel arg3)
 Post propagator for $ \max x=y$.
static synchronized void max (JavaSpace home, VarArray<?extends IntVar > x, IntVar y)
 Post propagator for $ \max x=y$.
static synchronized void abs (JavaSpace home, IntVar x0, IntVar x1, IntConLevel arg3, PropKind pk)
 Post propagator for $ |x_0|=x_1$.
static synchronized void abs (JavaSpace home, IntVar x0, IntVar x1, IntConLevel arg3)
 Post propagator for $ |x_0|=x_1$.
static synchronized void abs (JavaSpace home, IntVar x0, IntVar x1)
 Post propagator for $ |x_0|=x_1$.
static synchronized void mult (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4, PropKind pk)
 Post propagator for $x_0\cdot x_1=x_2$.
static synchronized void mult (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4)
 Post propagator for $x_0\cdot x_1=x_2$.
static synchronized void mult (JavaSpace home, IntVar x0, IntVar x1, IntVar x2)
 Post propagator for $x_0\cdot x_1=x_2$.
static synchronized void sqr (JavaSpace home, IntVar x0, IntVar x1, IntConLevel icl, PropKind pk)
 Post propagator for $x_0\cdot x_0=x_1$.
static synchronized void sqr (JavaSpace home, IntVar x0, IntVar x1, IntConLevel icl)
 Post propagator for $x_0\cdot x_0=x_1$.
static synchronized void sqr (JavaSpace home, IntVar x0, IntVar x1)
 Post propagator for $x_0\cdot x_0=x_1$.
static synchronized void sqrt (JavaSpace home, IntVar x0, IntVar x1, IntConLevel icl, PropKind pk)
 rief Post propagator for ${x_0} floor=x_1 $
static synchronized void sqrt (JavaSpace home, IntVar x0, IntVar x1, IntConLevel icl)
 rief Post propagator for ${x_0} floor=x_1 $
static synchronized void sqrt (JavaSpace home, IntVar x0, IntVar x1)
 rief Post propagator for ${x_0} floor=x_1 $
static synchronized void branch (JavaSpace home, VarArray<?extends IntVar > arg1, IntVarBranch arg2, IntValBranch arg3)
 Branch over all x with variable selection vars and value selection vals.
static synchronized void assign (JavaSpace home, VarArray<?extends IntVar > arg1, IntAssign arg2)
 Assign all x with value selection vals.
static synchronized void dom (JavaSpace home, SetVar x, SetRelType r, int i)
 Propagates $ x \sim_r \{i\}$.
static synchronized void dom (JavaSpace home, SetVar x, SetRelType r, int i, int j)
 Propagates $ x \sim_r \{i,\dots,j\}$.
static synchronized void dom (JavaSpace home, SetVar x, SetRelType r, IntSet s)
 Propagates $ x \sim_r s$.
static synchronized void dom (JavaSpace home, SetVar x, SetRelType r, int i, BoolVar b)
 Post propagator for $ (x \sim_r \{i\}) \Leftrightarrow b $.
static synchronized void dom (JavaSpace home, SetVar x, SetRelType r, int i, int j, BoolVar b)
 Post propagator for $ (x \sim_r \{i,\dots,j\}) \Leftrightarrow b $.
static synchronized void dom (JavaSpace home, SetVar x, SetRelType r, IntSet s, BoolVar b)
 Post propagator for $ (x \sim_r s) \Leftrightarrow b $.
static synchronized void cardinality (JavaSpace home, SetVar x, long i, long j)
 Propagates $ i \leq |s| \leq j $.
static synchronized void rel (JavaSpace home, SetVar x, SetRelType r, SetVar y)
 Post propagator for $ x \sim_r y$.
static synchronized void rel (JavaSpace home, SetVar x, SetRelType r, SetVar y, BoolVar b)
 Post propagator for $ (x \sim_r y) \Leftrightarrow b $.
static synchronized void rel (JavaSpace home, SetVar s, SetRelType r, IntVar x)
 Post propagator for $ s \sim_r \{x\}$.
static synchronized void rel (JavaSpace home, IntVar x, SetRelType r, SetVar s)
 Post propagator for $ \{x\} \sim_r s$.
static synchronized void rel (JavaSpace home, SetVar s, SetRelType r, IntVar x, BoolVar b)
 Post propagator for $ (s \sim_r \{x\}) \Leftrightarrow b $.
static synchronized void rel (JavaSpace home, IntVar x, SetRelType r, SetVar s, BoolVar b)
 Post propagator for $ (\{x\} \sim_r s) \Leftrightarrow b $.
static synchronized void rel (JavaSpace home, SetVar s, IntRelType r, IntVar x)
 Post propagator for $\forall i\in s:\ i \sim_r x$.
static synchronized void rel (JavaSpace home, IntVar x, IntRelType r, SetVar s)
 Post propagator for $\forall i\in s:\ x \sim_r i$.
static synchronized void rel (JavaSpace home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void relS (JavaSpace home, SetOpType op, VarArray<?extends SetVar > x, SetVar y)
 Post propagator for $ y = \diamond_{\mathit{op}} x$.
static synchronized void relS (JavaSpace home, SetOpType op, VarArray<?extends SetVar > x, IntSet z, SetVar y)
 Post propagator for $ y = \diamond_{\mathit{op}} x \diamond_{\mathit{op}} z$.
static synchronized void relI (JavaSpace home, SetOpType op, VarArray<?extends IntVar > x, IntSet z, SetVar y)
 Post propagator for $ y = \diamond_{\mathit{op}} x \diamond_{\mathit{op}} z$.
static synchronized void relI (JavaSpace home, SetOpType op, VarArray<?extends IntVar > x, SetVar y)
 Post propagator for $ y = \diamond_{\mathit{op}} x$.
static synchronized void rel (JavaSpace home, IntSet x, SetOpType op, SetVar y, SetRelType r, SetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void rel (JavaSpace home, SetVar x, SetOpType op, IntSet y, SetRelType r, SetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void rel (JavaSpace home, SetVar x, SetOpType op, SetVar y, SetRelType r, IntSet z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void rel (JavaSpace home, IntSet x, SetOpType op, SetVar y, SetRelType r, IntSet z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void rel (JavaSpace home, SetVar x, SetOpType op, IntSet y, SetRelType r, IntSet z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void convex (JavaSpace home, SetVar x)
 Post propagator that propagates that x is convex.
static synchronized void convexHull (JavaSpace home, SetVar x, SetVar y)
 Post propagator that propagates that y is the convex hull of x.
static synchronized void sequence (JavaSpace home, VarArray<?extends SetVar > x)
 Post propagator for $\forall 0\leq i< |x|-1 : \max(x_i)<\min(x_{i+1})$.
static synchronized void sequentialUnion (JavaSpace home, VarArray<?extends SetVar > y, SetVar x)
 Post propagator for $\forall 0\leq i< |x|-1 : \max(x_i)<\min(x_{i+1})$ and $ x = \bigcup_{i\in\{0,\dots,n-1\}} y_i $.
static synchronized void min (JavaSpace home, SetVar s, IntVar x)
 Post propagator that propagates that x is the minimal element of s.
static synchronized void max (JavaSpace home, SetVar s, IntVar x)
 Post propagator that propagates that x is the maximal element of s.
static synchronized void match (JavaSpace home, SetVar s, VarArray<?extends IntVar > x)
 Post propagator that propagates that s contains the $x_i$, which are sorted in non-descending order.
static synchronized void cardinality (JavaSpace home, SetVar s, IntVar x)
 Post propagator for $ |s|=x $.
static synchronized void weights (JavaSpace home, int[] elements, int[] weights, SetVar x, IntVar y)
 Post propagator for $y = \mathrm{weight}(x)$.
static synchronized void selectUnion (JavaSpace home, VarArray<?extends SetVar > x, SetVar y, SetVar z)
 Post propagator for $ z=\bigcup\langle x_0,\dots,x_{n-1}\rangle[y] $ If y is the empty set, z will also be constrained to be empty (as an empty union is empty).
static synchronized void selectInter (JavaSpace home, VarArray<?extends SetVar > x, SetVar y, SetVar z)
 Post propagator for $ z=\bigcap\langle x_0,\dots,x_{n-1}\rangle[y] $ using $ \mathcal{U} $ as universe.
static synchronized void selectInterIn (JavaSpace home, VarArray<?extends SetVar > x, SetVar y, SetVar z, IntSet u)
 Post propagator for $ z=\bigcap\langle x_0,\dots,x_{n-1}\rangle[y] $ using u as universe.
static synchronized void selectDisjoint (JavaSpace home, VarArray<?extends SetVar > x, SetVar y)
 Post propagator for $ \parallel\langle x_0,\dots,x_{n-1}\rangle[y] $.
static synchronized void selectSet (JavaSpace home, VarArray<?extends SetVar > x, IntVar y, SetVar z)
 Post propagator for $ z=\langle x_0,\dots,x_{n-1}\rangle[y] $.
static synchronized void branch (JavaSpace home, VarArray<?extends SetVar > arg1, SetVarBranch arg2, SetValBranch arg3)
 Generic branching for SetVar's based on variable/value selection.
static synchronized void channel (JavaSpace home, VarArray<?extends IntVar > x, VarArray<?extends IntVar > y)
 Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$.
static synchronized void channel (JavaSpace home, VarArray<?extends IntVar > x, VarArray<?extends SetVar > y)
 Post propagator for $x_i=j \Leftrightarrow i\in y_j$.
static synchronized void linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, int c)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.
static synchronized void linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, IntVar y)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.
static synchronized void linear (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, int c)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.
static synchronized void linear (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, IntVar y)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.
static synchronized void linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, int c, IntConLevel icl)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.
static synchronized void linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, IntVar y, IntConLevel icl)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.
static synchronized void linear (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, int c, IntConLevel icl)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.
static synchronized void linear (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, IntVar y, IntConLevel icl)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.
static synchronized void rel (JavaSpace home, SetOpType op, VarArray<?extends SetVar > x, SetVar y)
 Post propagator for $ y = \diamond_{\mathit{op}} x$.
static synchronized void rel (JavaSpace home, SetOpType op, VarArray<?extends IntVar > x, SetVar y)
 Post propagator for $ y = \diamond_{\mathit{op}} x$.
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, int c, IntConLevel icl)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, int c, BoolVar b, IntConLevel icl)
 Post propagator for $b\Leftrightarrow(\sum_{i=0}^{|x|-1}x_i\sim_r c)$.
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, int c, IntConLevel icl)
 Post propagator for $\sum_{i=0}^{|x|-1}a_i x_i\sim_r c$.
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, int c, BoolVar b, IntConLevel icl)
 Post propagator for $b\Leftrightarrow(\sum_{i=0}^{|x|-1}a_i x_i\sim_r c)$.
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, IntConLevel icl)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.
static void linear (JavaSpace home, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl)
 Post propagator for $b\Leftrightarrow(\sum_{i=0}^{|x|-1}x_i\sim_r y)$.
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, IntConLevel icl)
 Post propagator for $\sum_{i=0}^{|x|-1}a_i x_i\sim_r y$.
static void linear (JavaSpace home, int[] a, VarArray<?extends GecodeVar > x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl)
 Post propagator for $b\Leftrightarrow(\sum_{i=0}^{|x|-1}a_i x_i\sim_r y)$.

Member Function Documentation

static void org.gecode.Gecode.channel ( JavaSpace  home,
VarArray<?extends IntVar >  x,
VarArray<?extends GecodeVar >  y 
) [static]

Todo:
fic channel channel_int(home, x, (VarArray<IntVar>)y);

Definition at line 160 of file Gecode.java.

static void org.gecode.Gecode.rel ( JavaSpace  home,
SetOpType  op,
VarArray<?extends GecodeVar >  x,
SetVar  y 
) [static]

Definition at line 174 of file Gecode.java.

static void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends GecodeVar >  x,
IntRelType  r,
int  c,
IntConLevel  icl 
) [static]

Definition at line 235 of file Gecode.java.

static void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends GecodeVar >  x,
IntRelType  r,
int  c,
BoolVar  b,
IntConLevel  icl 
) [static]

Definition at line 252 of file Gecode.java.

static void org.gecode.Gecode.linear ( JavaSpace  home,
int[]  a,
VarArray<?extends GecodeVar >  x,
IntRelType  r,
int  c,
IntConLevel  icl 
) [static]

Definition at line 269 of file Gecode.java.

static void org.gecode.Gecode.linear ( JavaSpace  home,
int[]  a,
VarArray<?extends GecodeVar >  x,
IntRelType  r,
int  c,
BoolVar  b,
IntConLevel  icl 
) [static]

Definition at line 288 of file Gecode.java.

static void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends GecodeVar >  x,
IntRelType  r,
IntVar  y,
IntConLevel  icl 
) [static]

Definition at line 307 of file Gecode.java.

static void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends GecodeVar >  x,
IntRelType  r,
IntVar  y,
BoolVar  b,
IntConLevel  icl 
) [static]

Definition at line 324 of file Gecode.java.

static void org.gecode.Gecode.linear ( JavaSpace  home,
int[]  a,
VarArray<?extends GecodeVar >  x,
IntRelType  r,
IntVar  y,
IntConLevel  icl 
) [static]

Definition at line 343 of file Gecode.java.

static void org.gecode.Gecode.linear ( JavaSpace  home,
int[]  a,
VarArray<?extends GecodeVar >  x,
IntRelType  r,
IntVar  y,
BoolVar  b,
IntConLevel  icl 
) [static]

Definition at line 362 of file Gecode.java.

static long org.gecode.Gecode.getDefault_c_d (  )  [static]

Default distance for number of commits before creating a clone.

Definition at line 385 of file Gecode.java.

static long org.gecode.Gecode.getDefault_a_d (  )  [static]

Default minimum distance for creating a clone during recomputation.

Definition at line 391 of file Gecode.java.

static synchronized void org.gecode.Gecode.channel ( JavaSpace  home,
VarArray<?extends IntVar >  x,
VarArray<?extends IntVar >  y 
) [static]

Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$.

  • Throws an exception of type Int.ArgumentSizeMismatch, if x and n are of different size.
  • Throws an exception of type Int.ArgumentSame, if x together with y contains the same variable multiply.

static synchronized void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends IntVar >  x,
IntRelType  r,
int  c 
) [static]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.

static synchronized void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends IntVar >  x,
IntRelType  r,
IntVar  y 
) [static]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.

static synchronized void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends BoolVar >  x,
IntRelType  r,
int  c 
) [static]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.

static synchronized void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends BoolVar >  x,
IntRelType  r,
IntVar  y 
) [static]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.

static synchronized void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends IntVar >  x,
IntRelType  r,
int  c,
IntConLevel  icl 
) [static]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.

static synchronized void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends IntVar >  x,
IntRelType  r,
IntVar  y,
IntConLevel  icl 
) [static]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.

static synchronized void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends BoolVar >  x,
IntRelType  r,
int  c,
IntConLevel  icl 
) [static]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.

static synchronized void org.gecode.Gecode.linear ( JavaSpace  home,
VarArray<?extends BoolVar >  x,
IntRelType  r,
IntVar  y,
IntConLevel  icl 
) [static]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
SetOpType  op,
VarArray<?extends SetVar >  x,
SetVar  y 
) [static]

Post propagator for $ y = \diamond_{\mathit{op}} x$.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
SetOpType  op,
VarArray<?extends IntVar >  x,
SetVar  y 
) [static]

Post propagator for $ y = \diamond_{\mathit{op}} x$.

The documentation for this class was generated from the following files: