Generated on Mon Nov 30 23:53:57 2009 for Gecode by doxygen 1.6.1

Test::Int::Bool Namespace Reference

Tests for Boolean constraints. More...

Classes

class  BinXYZ
 Test for binary Boolean operation. 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  BinXXX
 Test for binary Boolean operation with shared variables. More...
class  BinConstXY
 Test for binary Boolean operation with constant. More...
class  BinConstXX
 Test for binary Boolean operation with shared variables and constant. More...
class  Nary
 Test for Nary Boolean operation. More...
class  NaryShared
 Test for Nary Boolean operation. More...
class  NaryConst
 Test for Nary Boolean operation with constant. More...
class  ClauseXYZ
 Test for Clause Boolean operation. More...
class  ClauseXXYYX
 Test for Clause Boolean operation. More...
class  ClauseXXY
 Test for Clause Boolean operation. More...
class  ClauseConst
 Test for Clause Boolean operation with constant. More...
class  Create
 Help class to create and register tests. More...

Functions

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

Variables

Create c

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.