Generated on Sat Oct 20 2018 12:43:45 for Gecode by doxygen 1.8.13
Combined integer/set constraints

Classes

class  Test::Set::Int::Card
 Test for cardinality constraint More...
 
class  Test::Set::Int::Min
 Test for minimal element constraint More...
 
class  Test::Set::Int::NotMin
 Test for negated minimal element constraint More...
 
class  Test::Set::Int::Max
 Test for maximal element constraint More...
 
class  Test::Set::Int::NotMax
 Test for negated maximal element constraint More...
 
class  Test::Set::Int::Elem
 Test for element constraint More...
 
class  Test::Set::Int::NoElem
 Test for negated element constraint More...
 
class  Test::Set::Int::Rel
 Test for relation constraint More...
 
class  Test::Set::Int::IntRel
 Test for integer relation constraint More...
 
class  Test::Set::Int::Weights
 Test for set weight constraint More...
 

Functions

 Test::Set::Int::Card::Card (const char *t)
 Create and register test. More...
 
virtual bool Test::Set::Int::Card::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::Card::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
virtual void Test::Set::Int::Card::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r)
 Post reified constraint on x. More...
 
 Test::Set::Int::Min::Min (const char *t)
 Create and register test. More...
 
virtual bool Test::Set::Int::Min::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::Min::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
virtual void Test::Set::Int::Min::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r)
 Post reified constraint on x. More...
 
 Test::Set::Int::NotMin::NotMin (const char *t)
 Create and register test. More...
 
virtual bool Test::Set::Int::NotMin::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::NotMin::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
 Test::Set::Int::Max::Max (const char *t)
 Create and register test. More...
 
virtual bool Test::Set::Int::Max::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::Max::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
virtual void Test::Set::Int::Max::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r)
 Post reified constraint on x. More...
 
 Test::Set::Int::NotMax::NotMax (const char *t)
 Create and register test. More...
 
virtual bool Test::Set::Int::NotMax::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::NotMax::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
 Test::Set::Int::Elem::Elem (const char *t)
 Create and register test. More...
 
virtual bool Test::Set::Int::Elem::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::Elem::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
virtual void Test::Set::Int::Elem::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r)
 Post reified constraint on x for b. More...
 
 Test::Set::Int::NoElem::NoElem (const char *t)
 Create and register test. More...
 
virtual bool Test::Set::Int::NoElem::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::NoElem::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
 Test::Set::Int::Rel::Rel (Gecode::SetRelType srt0, bool s)
 Create and register test. More...
 
virtual bool Test::Set::Int::Rel::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::Rel::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
virtual void Test::Set::Int::Rel::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r)
 Post reified constraint on x for r. More...
 
 Test::Set::Int::IntRel::IntRel (Gecode::IntRelType irt0, bool s)
 Create and register test. More...
 
virtual bool Test::Set::Int::IntRel::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::IntRel::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 
virtual void Test::Set::Int::IntRel::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r)
 Post reified constraint on x for r. More...
 
template<class I >
int Test::Set::Int::weightI (const IntArgs &elements, const IntArgs &weights, I &iter)
 
 Test::Set::Int::Weights::Weights (const char *t, IntArgs &el, IntArgs &w, int min=-10000, int max=10000)
 Create and register test. More...
 
virtual bool Test::Set::Int::Weights::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Int::Weights::post (Space &home, SetVarArray &x, IntVarArray &y)
 Post constraint on x. More...
 

Variables

Card Test::Set::Int::_card ("Int::Card")
 
Min Test::Set::Int::_min ("Int::Min")
 
NotMin Test::Set::Int::_notmin ("Int::NotMin")
 
Max Test::Set::Int::_max ("Int::Max")
 
NotMax Test::Set::Int::_notmax ("Int::NotMax")
 
Elem Test::Set::Int::_elem ("Int::Elem")
 
NoElem Test::Set::Int::_noelem ("Int::NoElem")
 
Rel Test::Set::Int::_rel_eq (Gecode::SRT_EQ, false)
 
Rel Test::Set::Int::_rel_nq (Gecode::SRT_NQ, false)
 
Rel Test::Set::Int::_rel_sub (Gecode::SRT_SUB, false)
 
Rel Test::Set::Int::_rel_sup (Gecode::SRT_SUP, false)
 
Rel Test::Set::Int::_rel_disj (Gecode::SRT_DISJ, false)
 
Rel Test::Set::Int::_rel_cmpl (Gecode::SRT_CMPL, false)
 
Rel Test::Set::Int::_rel_eqs (Gecode::SRT_EQ, true)
 
Rel Test::Set::Int::_rel_nqs (Gecode::SRT_NQ, true)
 
Rel Test::Set::Int::_rel_subs (Gecode::SRT_SUB, true)
 
Rel Test::Set::Int::_rel_sups (Gecode::SRT_SUP, true)
 
Rel Test::Set::Int::_rel_disjs (Gecode::SRT_DISJ, true)
 
Rel Test::Set::Int::_rel_cmpls (Gecode::SRT_CMPL, true)
 
IntRel Test::Set::Int::_intrel_eq (Gecode::IRT_EQ, false)
 
IntRel Test::Set::Int::_intrel_nq (Gecode::IRT_NQ, false)
 
IntRel Test::Set::Int::_intrel_gr (Gecode::IRT_GR, false)
 
IntRel Test::Set::Int::_intrel_gq (Gecode::IRT_GQ, false)
 
IntRel Test::Set::Int::_intrel_le (Gecode::IRT_LE, false)
 
IntRel Test::Set::Int::_intrel_lq (Gecode::IRT_LQ, false)
 
IntRel Test::Set::Int::_intrel_eqs (Gecode::IRT_EQ, true)
 
IntRel Test::Set::Int::_intrel_nqs (Gecode::IRT_NQ, true)
 
IntRel Test::Set::Int::_intrel_grs (Gecode::IRT_GR, true)
 
IntRel Test::Set::Int::_intrel_gqs (Gecode::IRT_GQ, true)
 
IntRel Test::Set::Int::_intrel_les (Gecode::IRT_LE, true)
 
IntRel Test::Set::Int::_intrel_lqs (Gecode::IRT_LQ, true)
 
IntArgs Test::Set::Int::Weights::elements
 
IntArgs Test::Set::Int::Weights::weights
 
int Test::Set::Int::Weights::minWeight
 
int Test::Set::Int::Weights::maxWeight
 
const int Test::Set::Int::el1v [] = {-3,-2,-1,0,1,2,3}
 
IntArgs Test::Set::Int::el1 (7, el1v)
 
const int Test::Set::Int::w1v [] = {1,-2,1,1,1,6,1}
 
IntArgs Test::Set::Int::w1 (7, w1v)
 
Weights Test::Set::Int::_weights1 ("Int::Weights::1", el1, w1)
 
const int Test::Set::Int::w2v [] = {-1,-1,-1,10,-1,-1,-1}
 
IntArgs Test::Set::Int::w2 (7, w2v)
 
Weights Test::Set::Int::_weights2 ("Int::Weights::2", el1, w2)
 
Weights Test::Set::Int::_weights3 ("Int::Weights::3", el1, w2, 3)
 
const int Test::Set::Int::w4v [] = {1,1,0,0,0,0,0}
 
IntArgs Test::Set::Int::w4 (7, w4v)
 
Weights Test::Set::Int::_weights4 ("Int::Weights::4", el1, w4)
 

Detailed Description

Function Documentation

◆ Card()

Test::Set::Int::Card::Card ( const char *  t)
inline

Create and register test.

Definition at line 67 of file int.cpp.

◆ solution() [1/10]

virtual bool Test::Set::Int::Card::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 70 of file int.cpp.

◆ post() [1/16]

virtual void Test::Set::Int::Card::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 78 of file int.cpp.

◆ post() [2/16]

virtual void Test::Set::Int::Card::post ( Space home,
SetVarArray x,
IntVarArray y,
Reify  r 
)
inlinevirtual

Post reified constraint on x.

Reimplemented from Test::Set::SetTest.

Definition at line 82 of file int.cpp.

◆ Min()

Test::Set::Int::Min::Min ( const char *  t)
inline

Create and register test.

Definition at line 93 of file int.cpp.

◆ solution() [2/10]

virtual bool Test::Set::Int::Min::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 96 of file int.cpp.

◆ post() [3/16]

virtual void Test::Set::Int::Min::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 101 of file int.cpp.

◆ post() [4/16]

virtual void Test::Set::Int::Min::post ( Space home,
SetVarArray x,
IntVarArray y,
Reify  r 
)
inlinevirtual

Post reified constraint on x.

Reimplemented from Test::Set::SetTest.

Definition at line 105 of file int.cpp.

◆ NotMin()

Test::Set::Int::NotMin::NotMin ( const char *  t)
inline

Create and register test.

Definition at line 116 of file int.cpp.

◆ solution() [3/10]

virtual bool Test::Set::Int::NotMin::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 119 of file int.cpp.

◆ post() [5/16]

virtual void Test::Set::Int::NotMin::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 124 of file int.cpp.

◆ Max()

Test::Set::Int::Max::Max ( const char *  t)
inline

Create and register test.

Definition at line 134 of file int.cpp.

◆ solution() [4/10]

virtual bool Test::Set::Int::Max::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 137 of file int.cpp.

◆ post() [6/16]

virtual void Test::Set::Int::Max::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 143 of file int.cpp.

◆ post() [7/16]

virtual void Test::Set::Int::Max::post ( Space home,
SetVarArray x,
IntVarArray y,
Reify  r 
)
inlinevirtual

Post reified constraint on x.

Reimplemented from Test::Set::SetTest.

Definition at line 147 of file int.cpp.

◆ NotMax()

Test::Set::Int::NotMax::NotMax ( const char *  t)
inline

Create and register test.

Definition at line 158 of file int.cpp.

◆ solution() [5/10]

virtual bool Test::Set::Int::NotMax::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 161 of file int.cpp.

◆ post() [8/16]

virtual void Test::Set::Int::NotMax::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 167 of file int.cpp.

◆ Elem()

Test::Set::Int::Elem::Elem ( const char *  t)
inline

Create and register test.

Definition at line 177 of file int.cpp.

◆ solution() [6/10]

virtual bool Test::Set::Int::Elem::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 180 of file int.cpp.

◆ post() [9/16]

virtual void Test::Set::Int::Elem::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 187 of file int.cpp.

◆ post() [10/16]

virtual void Test::Set::Int::Elem::post ( Space home,
SetVarArray x,
IntVarArray y,
Reify  r 
)
inlinevirtual

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 191 of file int.cpp.

◆ NoElem()

Test::Set::Int::NoElem::NoElem ( const char *  t)
inline

Create and register test.

Definition at line 202 of file int.cpp.

◆ solution() [7/10]

virtual bool Test::Set::Int::NoElem::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 205 of file int.cpp.

◆ post() [11/16]

virtual void Test::Set::Int::NoElem::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 212 of file int.cpp.

◆ Rel()

Test::Set::Int::Rel::Rel ( Gecode::SetRelType  srt0,
bool  s 
)
inline

Create and register test.

Definition at line 227 of file int.cpp.

◆ solution() [8/10]

virtual bool Test::Set::Int::Rel::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 232 of file int.cpp.

◆ post() [12/16]

virtual void Test::Set::Int::Rel::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 265 of file int.cpp.

◆ post() [13/16]

virtual void Test::Set::Int::Rel::post ( Space home,
SetVarArray x,
IntVarArray y,
Reify  r 
)
inlinevirtual

Post reified constraint on x for r.

Reimplemented from Test::Set::SetTest.

Definition at line 272 of file int.cpp.

◆ IntRel()

Test::Set::Int::IntRel::IntRel ( Gecode::IntRelType  irt0,
bool  s 
)
inline

Create and register test.

Definition at line 302 of file int.cpp.

◆ solution() [9/10]

virtual bool Test::Set::Int::IntRel::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 309 of file int.cpp.

◆ post() [14/16]

virtual void Test::Set::Int::IntRel::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 344 of file int.cpp.

◆ post() [15/16]

virtual void Test::Set::Int::IntRel::post ( Space home,
SetVarArray x,
IntVarArray y,
Reify  r 
)
inlinevirtual

Post reified constraint on x for r.

Reimplemented from Test::Set::SetTest.

Definition at line 351 of file int.cpp.

◆ weightI()

template<class I >
int Test::Set::Int::weightI ( const IntArgs elements,
const IntArgs weights,
I &  iter 
)

Definition at line 409 of file int.cpp.

◆ Weights()

Test::Set::Int::Weights::Weights ( const char *  t,
IntArgs el,
IntArgs w,
int  min = -10000,
int  max = 10000 
)
inline

Create and register test.

Definition at line 431 of file int.cpp.

◆ solution() [10/10]

virtual bool Test::Set::Int::Weights::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 436 of file int.cpp.

◆ post() [16/16]

virtual void Test::Set::Int::Weights::post ( Space home,
SetVarArray x,
IntVarArray y 
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 442 of file int.cpp.

Variable Documentation

◆ _card

Card Test::Set::Int::_card("Int::Card")

◆ _min

Min Test::Set::Int::_min("Int::Min")

◆ _notmin

NotMin Test::Set::Int::_notmin("Int::NotMin")

◆ _max

Max Test::Set::Int::_max("Int::Max")

◆ _notmax

NotMax Test::Set::Int::_notmax("Int::NotMax")

◆ _elem

Elem Test::Set::Int::_elem("Int::Elem")

◆ _noelem

NoElem Test::Set::Int::_noelem("Int::NoElem")

◆ _rel_eq

Rel Test::Set::Int::_rel_eq(Gecode::SRT_EQ, false)

◆ _rel_nq

Rel Test::Set::Int::_rel_nq(Gecode::SRT_NQ, false)

◆ _rel_sub

Rel Test::Set::Int::_rel_sub(Gecode::SRT_SUB, false)

◆ _rel_sup

Rel Test::Set::Int::_rel_sup(Gecode::SRT_SUP, false)

◆ _rel_disj

Rel Test::Set::Int::_rel_disj(Gecode::SRT_DISJ, false)

◆ _rel_cmpl

Rel Test::Set::Int::_rel_cmpl(Gecode::SRT_CMPL, false)

◆ _rel_eqs

Rel Test::Set::Int::_rel_eqs(Gecode::SRT_EQ, true)

◆ _rel_nqs

Rel Test::Set::Int::_rel_nqs(Gecode::SRT_NQ, true)

◆ _rel_subs

Rel Test::Set::Int::_rel_subs(Gecode::SRT_SUB, true)

◆ _rel_sups

Rel Test::Set::Int::_rel_sups(Gecode::SRT_SUP, true)

◆ _rel_disjs

Rel Test::Set::Int::_rel_disjs(Gecode::SRT_DISJ, true)

◆ _rel_cmpls

Rel Test::Set::Int::_rel_cmpls(Gecode::SRT_CMPL, true)

◆ _intrel_eq

IntRel Test::Set::Int::_intrel_eq(Gecode::IRT_EQ, false)

◆ _intrel_nq

IntRel Test::Set::Int::_intrel_nq(Gecode::IRT_NQ, false)

◆ _intrel_gr

IntRel Test::Set::Int::_intrel_gr(Gecode::IRT_GR, false)

◆ _intrel_gq

IntRel Test::Set::Int::_intrel_gq(Gecode::IRT_GQ, false)

◆ _intrel_le

IntRel Test::Set::Int::_intrel_le(Gecode::IRT_LE, false)

◆ _intrel_lq

IntRel Test::Set::Int::_intrel_lq(Gecode::IRT_LQ, false)

◆ _intrel_eqs

IntRel Test::Set::Int::_intrel_eqs(Gecode::IRT_EQ, true)

◆ _intrel_nqs

IntRel Test::Set::Int::_intrel_nqs(Gecode::IRT_NQ, true)

◆ _intrel_grs

IntRel Test::Set::Int::_intrel_grs(Gecode::IRT_GR, true)

◆ _intrel_gqs

IntRel Test::Set::Int::_intrel_gqs(Gecode::IRT_GQ, true)

◆ _intrel_les

IntRel Test::Set::Int::_intrel_les(Gecode::IRT_LE, true)

◆ _intrel_lqs

IntRel Test::Set::Int::_intrel_lqs(Gecode::IRT_LQ, true)

◆ elements

IntArgs Test::Set::Int::Weights::elements

Definition at line 426 of file int.cpp.

◆ weights

IntArgs Test::Set::Int::Weights::weights

Definition at line 427 of file int.cpp.

◆ minWeight

int Test::Set::Int::Weights::minWeight

Definition at line 428 of file int.cpp.

◆ maxWeight

int Test::Set::Int::Weights::maxWeight

Definition at line 429 of file int.cpp.

◆ el1v

const int Test::Set::Int::el1v[] = {-3,-2,-1,0,1,2,3}

Definition at line 449 of file int.cpp.

◆ el1

IntArgs Test::Set::Int::el1(7, el1v)

◆ w1v

const int Test::Set::Int::w1v[] = {1,-2,1,1,1,6,1}

Definition at line 451 of file int.cpp.

◆ w1

IntArgs Test::Set::Int::w1(7, w1v)

◆ _weights1

Weights Test::Set::Int::_weights1("Int::Weights::1", el1, w1)

◆ w2v

const int Test::Set::Int::w2v[] = {-1,-1,-1,10,-1,-1,-1}

Definition at line 455 of file int.cpp.

◆ w2

IntArgs Test::Set::Int::w2(7, w2v)

◆ _weights2

Weights Test::Set::Int::_weights2("Int::Weights::2", el1, w2)

◆ _weights3

Weights Test::Set::Int::_weights3("Int::Weights::3", el1, w2, 3)

◆ w4v

const int Test::Set::Int::w4v[] = {1,1,0,0,0,0,0}

Definition at line 460 of file int.cpp.

◆ w4

IntArgs Test::Set::Int::w4(7, w4v)

◆ _weights4

Weights Test::Set::Int::_weights4("Int::Weights::4", el1, w4)