Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
extensional.cpp File Reference
#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::TupleSetBase
 Test with tuple set More...
 
class  Test::Int::Extensional::TupleSetTest
 Test with tuple set More...
 
class  Test::Int::Extensional::RandomTupleSetTest
 
class  Test::Int::Extensional::TupleSetLarge
 Test with large tuple set More...
 
class  Test::Int::Extensional::TupleSetBool
 Test with bool tuple set More...
 
class  Test::Int::Extensional::TupleSetTestSize
 Help class to create and register tests with a fixed table size. More...
 
class  Test::Int::Extensional::Create
 Help class to create and register tests. More...
 

Namespaces

namespace  Test
 General test support.
 
namespace  Test::Int
 Testing finite domain integers.
 
namespace  Test::Int::Extensional
 Tests for extensional (relation) constraints
 

Functions

Gecode::DFA Test::Int::Extensional::tupleset2dfa (Gecode::TupleSet ts)
 % Transform a TupleSet into a DFA
 
Gecode::TupleSet Test::Int::Extensional::randomTupleSet (int n, int min, int max, double prob)
 

Variables

Create Test::Int::Extensional::c
 
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))