Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
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

 Test
 General test support.
 
 Test::Int
 Testing finite domain integers.
 
 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)