extensional.cpp File Reference

(Revision: 10684)

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

Go to the source code of this file.

Classes
class	Test::Int::Extensional::RegSimpleA
	Test with simple regular expression More...
class	Test::Int::Extensional::RegSimpleB
	Test with simple regular expression More...
class	Test::Int::Extensional::RegSimpleC
	Test with simple regular expression More...
class	Test::Int::Extensional::RegDistinct
	Test with regular expression for distinct constraint More...
class	Test::Int::Extensional::RegRoland
	Test with simple regular expression from Roland Yap More...
class	Test::Int::Extensional::RegSharedA
	Test with simple regular expression and shared variables (uses unsharing) More...
class	Test::Int::Extensional::RegSharedB
	Test with simple regular expression and shared variables (uses unsharing) More...
class	Test::Int::Extensional::RegSharedC
	Test with simple regular expression and shared variables (uses unsharing) More...
class	Test::Int::Extensional::RegSharedD
	Test with simple regular expression and shared variables (uses unsharing) More...
class	Test::Int::Extensional::RegEmptyDFA
	Test for empty DFA More...
class	Test::Int::Extensional::RegEmptyREG
	Test for empty regular expression More...
class	Test::Int::Extensional::RegOpt
	Test for optimizations More...
class	Test::Int::Extensional::TupleSetA
	Test with tuple set More...
class	Test::Int::Extensional::TupleSetB
	Test with tuple set More...
class	Test::Int::Extensional::TupleSetBool
	Test with bool tuple set More...
Namespaces
namespace	Test
	General test support.
namespace	Test::Int
	Testing finite domain integers.
namespace	Test::Int::Extensional
	Tests for extensional (relation) constraints
Variables
RegSimpleA	Test::Int::Extensional::ra
RegSimpleB	Test::Int::Extensional::rb
RegSimpleC	Test::Int::Extensional::rc
RegDistinct	Test::Int::Extensional::rd
RegRoland	Test::Int::Extensional::rr1 (1)
RegRoland	Test::Int::Extensional::rr2 (2)
RegRoland	Test::Int::Extensional::rr3 (3)
RegRoland	Test::Int::Extensional::rr4 (4)
RegSharedA	Test::Int::Extensional::rsa
RegSharedB	Test::Int::Extensional::rsb
RegSharedC	Test::Int::Extensional::rsc
RegSharedD	Test::Int::Extensional::rsd
RegEmptyDFA	Test::Int::Extensional::redfa
RegEmptyREG	Test::Int::Extensional::rereg
RegOpt	Test::Int::Extensional::ro0 (CHAR_MAX-1)
RegOpt	Test::Int::Extensional::ro1 (CHAR_MAX)
RegOpt	Test::Int::Extensional::ro2 (static_cast< int >(UCHAR_MAX-1))
RegOpt	Test::Int::Extensional::ro3 (static_cast< int >(UCHAR_MAX))
RegOpt	Test::Int::Extensional::ro4 (SHRT_MAX-1)
RegOpt	Test::Int::Extensional::ro5 (SHRT_MAX)
RegOpt	Test::Int::Extensional::ro6 (static_cast< int >(USHRT_MAX-1))
RegOpt	Test::Int::Extensional::ro7 (static_cast< int >(USHRT_MAX))
TupleSetA	Test::Int::Extensional::tsam (Gecode::EPK_MEMORY)
TupleSetA	Test::Int::Extensional::tsas (Gecode::EPK_SPEED)
TupleSetB	Test::Int::Extensional::tsbm (Gecode::EPK_MEMORY)
TupleSetB	Test::Int::Extensional::tsbs (Gecode::EPK_SPEED)
TupleSetBool	Test::Int::Extensional::tsboolm (Gecode::EPK_MEMORY, 0.3)
TupleSetBool	Test::Int::Extensional::tsbools (Gecode::EPK_SPEED, 0.3)