Go to the documentation of this file.
38 namespace Test {
namespace Int {
58 xoff(xoff0), yoff(yoff0) {
63 for (
int i=0;
i<4;
i++)
72 for (
int i=4;
i--; ) {
74 IntVar xo(home, xoff, 3+xoff);
81 IntVar yo(home, yoff, 3+yoff);
102 for (
int i=0;
i<6;
i++)
103 for (
int j=
i+1; j<6; j++)
112 for (
int i=0;
i<6;
i++)
113 for (
int j=0; j<6; j++) {
132 for (
int i=0;
i<6;
i++)
149 :
Test(
"Channel::Bool::Single",2,-1,2) {
154 return ((
x[0]==0) || (
x[0]==1)) && (
x[0]==
x[1]);
172 :
Test(
"Channel::Bool::Multi::"+s,7,
min,
max), o(o0) {
178 if ((
x[
i] != 0) && (
x[
i] != 1))
183 for (
int i=0;
i<k;
i++)
186 for (
int i=k+1;
i<
n;
i++)
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
ChannelLinkSingle(void)
Construct and register test.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
ChannelLinkMulti clmb("B", 1, 6, 1)
Post propagator for SetVar SetOpType SetVar y
ChannelFull cfd35(3, 5, Gecode::IPL_DOM)
ConTestLevel contest
Whether to test for certain consistency.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
virtual bool solution(const Assignment &x) const
Check whether x is solution.
Gecode::IntPropLevel ipl
Propagation level.
Passing integer variables.
ChannelShared(Gecode::IntPropLevel ipl)
Construct and register test.
Test channel between integer and Boolean variable
const FloatNum min
Smallest allowed float value.
IntPropLevel
Propagation levels for integer propagators.
ChannelShared csd(Gecode::IPL_DOM)
Simple test for channel (testing single set of variables)
virtual bool solution(const Assignment &x) const
Check whether x is solution.
ChannelFull cfd11(1, 1, Gecode::IPL_DOM)
Gecode toplevel namespace
ChannelHalf chd(Gecode::IPL_DOM)
Node * x
Pointer to corresponding Boolean expression node.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Passing Boolean variables.
ChannelLinkMulti clmc("C",-1, 4,-1)
ChannelLinkMulti(const std::string &s, int min, int max, int o0)
Construct and register test.
Boolean integer variables.
Domain propagation Options: basic versus advanced propagation.
Simple test for channel (testing all variables)
virtual bool solution(const Assignment &x) const
Check whether x is solution.
ChannelFull cfv35(3, 5, Gecode::IPL_VAL)
Test channel with shared variables
ChannelFull cfv11(1, 1, Gecode::IPL_VAL)
ChannelHalf chv(Gecode::IPL_VAL)
ChannelShared csv(Gecode::IPL_VAL)
Base class for assignments
ChannelHalf(Gecode::IntPropLevel ipl)
Construct and register test.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Test channel between integer variable and array of Boolean variables
virtual bool solution(const Assignment &x) const
Check whether x is solution.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
ChannelFull(int xoff0, int yoff0, Gecode::IntPropLevel ipl)
Construct and register test.
ChannelFull cfd(0, 0, Gecode::IPL_DOM)
virtual bool solution(const Assignment &x) const
Check whether x is solution.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
const FloatNum max
Largest allowed float value.
ChannelLinkMulti clma("A", 0, 5, 0)
ChannelFull cfv(0, 0, Gecode::IPL_VAL)
void channel(Home home, const SetVarArgs &x, const SetVarArgs &y)
Gecode::IntSet dom
Domain of variables.
static std::string str(Gecode::IntPropLevel ipl)
Map integer propagation level to string.