unshare.cpp File Reference

#include "test/int.hh"
#include <gecode/minimodel.hh>

Go to the source code of this file.

Classes
class	Test::Int::Unshare::Int
	Test for unsharing integer variables More...
class	Test::Int::Unshare::Bool
	Test for unsharing Boolean variables More...
class	Test::Int::Unshare::Failed
	Test for unsharing in failed spaces More...
Namespaces
namespace	Test
	General test support.
namespace	Test::Int
	Testing finite domain integers.
namespace	Test::Int::Unshare
	Tests for unsharing variables in arrays
Variables
Int	Test::Int::Unshare::i_bnd (Gecode::IPL_BND)
Int	Test::Int::Unshare::i_dom (Gecode::IPL_DOM)
Bool	Test::Int::Unshare::b
Failed	Test::Int::Unshare::f