unshare.cpp File Reference

(Revision: 8082)

#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...
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::ICL_BND)
Int	Test::Int::Unshare::i_dom (Gecode::ICL_DOM)
Bool	Test::Int::Unshare::b