construct.cpp
Go to the documentation of this file.
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
* Main authors:
* Guido Tack <tack@gecode.org>
*
* Copyright:
* Guido Tack, 2008
*
* This file is part of Gecode, the generic constraint
* development environment:
* http://www.gecode.org
*
* Permission is hereby granted, free of charge, to any person obtaining
* a copy of this software and associated documentation files (the
* "Software"), to deal in the Software without restriction, including
* without limitation the rights to use, copy, modify, merge, publish,
* distribute, sublicense, and/or sell copies of the Software, and to
* permit persons to whom the Software is furnished to do so, subject to
* the following conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*
*/
#include "test/set.hh"
using namespace Gecode;
namespace Test { namespace Set {
namespace Var {
class Construct : public SetTest {
public:
Construct(void)
: SetTest("Var::Construct",1,IntSet(0,0),false,0) {}
virtual bool solution(const SetAssignment&) const {
return true;
}
void con(Space& home, int glbMin, int glbMax,
int lubMin, int lubMax,
unsigned int minCard = 0,
unsigned int maxCard = Gecode::Set::Limits::card,
bool fail=true) {
bool ok = false;
try {
SetVar x(home, glbMin, glbMax, lubMin, lubMax, minCard, maxCard);
ok = true;
} catch (Gecode::Set::VariableEmptyDomain&) {
if (!fail) {
home.fail();
return;
}
ok = true;
}
if (ok) {
try {
SetVarArray xs(home, 1,
glbMin, glbMax, lubMin, lubMax, minCard, maxCard);
} catch (Gecode::Set::VariableEmptyDomain&) {
if (!fail) {
home.fail();
return;
} else {
return;
}
}
if (fail) {
home.fail();
}
}
}
void con(Space& home, const IntSet& glb, int lubMin, int lubMax,
unsigned int minCard = 0,
unsigned int maxCard = Gecode::Set::Limits::card,
bool fail=true) {
bool ok = false;
try {
SetVar x(home, glb, lubMin, lubMax, minCard, maxCard);
ok = true;
} catch (Gecode::Set::VariableEmptyDomain&) {
if (!fail) {
home.fail();
return;
}
ok = true;
}
if (ok) {
try {
SetVarArray xs(home, 1,
glb, lubMin, lubMax, minCard, maxCard);
} catch (Gecode::Set::VariableEmptyDomain&) {
if (!fail) {
home.fail();
return;
} else {
return;
}
}
if (fail) {
home.fail();
}
}
}
void con(Space& home, int glbMin, int glbMax, const IntSet& lub,
unsigned int minCard = 0,
unsigned int maxCard = Gecode::Set::Limits::card,
bool fail=true) {
bool ok = false;
try {
SetVar x(home, glbMin, glbMax, lub, minCard, maxCard);
ok = true;
} catch (Gecode::Set::VariableEmptyDomain&) {
if (!fail) {
home.fail();
return;
}
ok = true;
}
if (ok) {
try {
SetVarArray xs(home, 1,
glbMin, glbMax, lub, minCard, maxCard);
} catch (Gecode::Set::VariableEmptyDomain&) {
if (!fail) {
home.fail();
return;
} else {
return;
}
}
if (fail) {
home.fail();
}
}
}
void con(Space& home, const IntSet& glb, const IntSet& lub,
unsigned int minCard = 0,
unsigned int maxCard = Gecode::Set::Limits::card,
bool fail=true) {
bool ok = false;
try {
SetVar x(home, glb, lub, minCard, maxCard);
ok = true;
} catch (Gecode::Set::VariableEmptyDomain&) {
if (!fail) {
home.fail();
return;
}
ok = true;
}
if (ok) {
try {
SetVarArray xs(home, 1,
glb, lub, minCard, maxCard);
} catch (Gecode::Set::VariableEmptyDomain&) {
if (!fail) {
home.fail();
return;
} else {
return;
}
}
if (fail) {
home.fail();
}
}
}
virtual void post(Space& home, SetVarArray&, IntVarArray&) {
// Check non-empty lower, empty upper bound
con(home, 1,1, 1,0);
con(home, IntSet(1,1), 1,0);
con(home, 1,1, IntSet(1,0));
con(home, IntSet(1,1), IntSet(1,0));
// Check min cardinality
con(home, 1,0, 1,1, 2,3);
con(home, IntSet(1,0), 1,1, 2U,3U);
con(home, 1,0, IntSet(1,1), 2U,3U);
con(home, IntSet(1,0), IntSet(1,1), 2U,3U);
// Check max cardinality
con(home, 1,3, 1,4, 0,2);
con(home, IntSet(1,3), 1,4, 0U,2U);
con(home, 1,3, IntSet(1,4), 0U,2U);
con(home, IntSet(1,3), IntSet(1,4), 0U,2U);
// Check non-subset bounds
con(home, 1,3, 2,4);
con(home, IntSet(1,3), 2,4);
con(home, 1,3, IntSet(2,4));
con(home, IntSet(1,3), IntSet(2,4));
con(home, 1,4, 1,3);
con(home, IntSet(1,4), 1,3);
con(home, 1,4, IntSet(1,3));
con(home, IntSet(1,4), IntSet(1,3));
con(home, IntSet::empty, 2, 4, 0U, 10U, false);
}
};
Construct _con;
}}}
// STATISTICS: test-set
Gecode::IntSet
Integer sets.
Definition int.hh:174
Gecode::IntSet::empty
static const IntSet empty
Empty set.
Definition int.hh:283
Gecode::IntVarArray
Integer variable array.
Definition int.hh:763
Gecode::Int::VariableEmptyDomain
Exception: Variable created with empty domain
Definition exception.hpp:59
Gecode::SetVarArray
Set variable array
Definition set.hh:570
Gecode::SetVar
Set variables
Definition set.hh:127
Gecode::Space
Computation spaces.
Definition core.hpp:1742
Test::Set::SetAssignment
Generate all set assignments.
Definition set.hh:142
Test::Set::SetTest::SetTest
SetTest(const std::string &s, int a, const Gecode::IntSet &d, bool r=false, int w=0)
Constructor.
Definition set.hh:304
Test::Set::Var::Construct
Test for cardinality constraint
Definition construct.cpp:44
Test::Set::Var::Construct::con
void con(Space &home, const IntSet &glb, int lubMin, int lubMax, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true)
Definition construct.cpp:87
Test::Set::Var::Construct::post
virtual void post(Space &home, SetVarArray &, IntVarArray &)
Post constraint on x.
Definition construct.cpp:184
Test::Set::Var::Construct::con
void con(Space &home, int glbMin, int glbMax, int lubMin, int lubMax, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true)
Definition construct.cpp:53
Test::Set::Var::Construct::Construct
Construct(void)
Create and register test.
Definition construct.cpp:47
Test::Set::Var::Construct::con
void con(Space &home, const IntSet &glb, const IntSet &lub, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true)
Definition construct.cpp:151
Test::Set::Var::Construct::con
void con(Space &home, int glbMin, int glbMax, const IntSet &lub, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true)
Definition construct.cpp:119
Test::Set::Var::Construct::solution
virtual bool solution(const SetAssignment &) const
Test whether x is solution
Definition construct.cpp:50
Gecode::Space::fail
void fail(void)
Fail space.
Definition core.hpp:4030
Gecode::Set::Limits::card
const unsigned int card
Maximum cardinality of an integer set.
Definition set.hh:101
Gecode
Gecode toplevel namespace
Test::Set::Var
Tests for set variable conors
Definition construct.cpp:41
Test::Set::Var::_con
Construct _con
Definition construct.cpp:216
Test::Set
Testing finite sets.
Definition set.cpp:42
Test
General test support.
Definition afc.cpp:39
set.hh