Generated on Sat Feb 7 2015 02:01:55 for Gecode by doxygen 1.8.9.1
Test::Int::Bool Namespace Reference

Tests for Boolean constraints More...

Classes

class  BinConstXX
 Test for binary Boolean operation with shared variables and constant More...
 
class  BinConstXY
 Test for binary Boolean operation with constant More...
 
class  BinXXX
 Test for binary Boolean operation with shared variables More...
 
class  BinXXY
 Test for binary Boolean operation with shared variables More...
 
class  BinXYX
 Test for binary Boolean operation with shared variables More...
 
class  BinXYY
 Test for binary Boolean operation with shared variables More...
 
class  BinXYZ
 Test for binary Boolean operation More...
 
class  ClauseConst
 Test for Clause Boolean operation with constant More...
 
class  ClauseXXY
 Test for Clause Boolean operation More...
 
class  ClauseXXYYX
 Test for Clause Boolean operation More...
 
class  ClauseXYZ
 Test for Clause Boolean operation More...
 
class  Create
 Help class to create and register tests. More...
 
class  ITE
 Test for if-the-else-constraint More...
 
class  Nary
 Test for Nary Boolean operation More...
 
class  NaryConst
 Test for Nary Boolean operation with constant More...
 
class  NaryShared
 Test for Nary Boolean operation More...
 

Functions

int check (int x0, Gecode::BoolOpType op, int x1)
 

Variables

Create c
 
ITE itebnd (Gecode::ICL_BND)
 
ITE itedom (Gecode::ICL_DOM)
 

Detailed Description

Tests for Boolean constraints

Function Documentation

int Test::Int::Bool::check ( int  x0,
Gecode::BoolOpType  op,
int  x1 
)
inline

Definition at line 48 of file bool.cpp.